A Theory of Diagnosis from First Principles (1987)

by Raymond Reiter
Venue:ARTIFICIAL INTELLIGENCE