Controlling the Complexity in Model-Based Diagnosis. - Mozetic, Igor; Holzbaur, Christian (Ann. Math. Artif. Intell., 1994)