Diagnosing multiple faults (1987)

by J de Kleer, B C Williams
Venue:J. Artificial Intelligence