Controlling the complexity in model-based diagnosis
scientific article; zbMATH DE number 937297