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