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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.