@Article{darwicheAIM00,
author = "Adnan Darwiche",
title = "Model-Based Diagnosis under Real-World Constraints",
journal = "AI Magazine",
pages = "57-73",
volume = "21",
number = "2",
year = "Summer, 2000"
}