"Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method."

Gérard Ferrand (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics