Controlling the complexity in model-based diagnosis (1994)

by Igor Mozetič, Christian Holzbaur
Venue:Annals of Mathematics and Artificial Intelligence