Darwiche, A. Model-Based Diagnosis under Real-World Constraints. AIMag 2000, 21, 57.