Model-Based Diagnosis Meets Error Diagnosis in Logic Programs

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/ConsoleFD93, title={Model-Based Diagnosis Meets Error Diagnosis in Logic Programs}, pages={1494-1501}, year={1993}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai93.html#ConsoleFD93}, author={Luca Console and Gerhard Friedrich and Daniele Theseider Dupré} }\end{bibtex}