Luca Console, Gerhard Friedrich, Daniele Theseider Dupré. Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). In Peter Fritszon, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG 93, Linköping, Sweden, May 3-5, 1993, Proceedings. Volume 749 of Lecture Notes in Computer Science, pages 85-87, Springer, 1993.
Abstract is missing.