A theory of diagnosis from first principles (1987)

by R Reiter
Venue:In Artificial Intelligence