A theory of diagnosis from first principles (1987)

by Raymond Reiter
Venue:Artif. Intell