A spectrum of logical definitions of model-based diagnosis (1991)

by L Console, P Torasso
Venue:Computational Intelligence