A novel SAT-based approach to model based diagnosis
scientific article; zbMATH DE number 6369223