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

Gérard Ferrand Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method. 177-198 1987 4 J. Log. Program. 3 db/journals/jlp/jlp4.html#Ferrand87