A theory of diagnosis from first principles. (1987)

by R Reiter
Venue:Artificial Intelligence,