Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract).

Luca Console Gerhard Friedrich Daniele Theseider Dupré Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). 85-87 1993 conf/aadebug/1993 AADEBUG db/conf/aadebug/aadebug93.html#ConsoleFD93