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. In AADEBUG. pages 159-174, 1995.

Bibliographies