"A framework for the Principled Debugging of Prolog Programs: How to Debug ..."

Paul Brna, Alan Bundy, Helen Pain (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics