F. Levi, C. Menchini. Abductive Proof Procedures for Fault Diagnosis. In Domenico Saccà, editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 549-568, 1993.
@inproceedings{LeviM93,
title = {Abductive Proof Procedures for Fault Diagnosis},
author = {F. Levi and C. Menchini},
year = {1993},
tags = {C++},
researchr = {https://researchr.org/publication/LeviM93},
cites = {0},
citedby = {0},
pages = {549-568},
booktitle = {8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993},
editor = {Domenico Saccà},
}