Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.

Marco Comini Giorgio Levi Giuliana Vitiello Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. 159-174 1995 AADEBUG db/conf/aadebug/aadebug95.html#CominiLV95