Darwiche, A. (2000). Model-Based Diagnosis under Real-World Constraints. AI Magazine, 21(2), 57. https://doi.org/10.1609/aimag.v21i2.1507