Francesco Russo Mirko Sancassani A Declarative Debugging Environment for DATALOG. 433-441 1991 conf/lpar/1991 RCLP db/conf/lpar/lpar90.html#RussoS91 http://dx.doi.org/10.1007/3-540-55460-2_32