A. Darwiche, “Model-Based Diagnosis under Real-World Constraints”, AIMag, vol. 21, no. 2, p. 57, Jun. 2000.