Title: Foundations of Declarative Testing and Debugging in Logic Programming (Computer Science and Computer Engineering Series)
First published: December 1996
Subjects: Debugging in computer science, Logic programming