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