Abductive Proof Procedures for Fault Diagnosis. - F. Levi; C. Menchini (GULP, 1993)