Diagnosing multiple faults. Arti cial Intelligence 32(1):97{130 (1987)

by J de Kleer, B C Williams
Venue:Reprinted in (Hamscher, Console, & de Kleer