A three-valued declarative debugging scheme | IEEE Conference Publication | IEEE Xplore