Marco Comini, Giorgio Levi, Giuliana Vitiello
Declarative Diagnosis Revisited
ICLP, 1995.
@inproceedings{ILPS-1995-CominiLV, author = "Marco Comini and Giorgio Levi and Giuliana Vitiello", booktitle = "{Proceedings of the International Symposium on Logic Programming}", isbn = "0-262-62099-5", pages = "275--287", publisher = "{MIT Press}", title = "{Declarative Diagnosis Revisited}", year = 1995, }