@Article{darwicheJAIR-SSD,
author = "Adnan Darwiche",
title = "Model--Based Diagnosis using Structured System Descriptions",
journal = "Journal of Artificial Intelligence Research",
volume = "8",
pages = "165-222",
year = "1998"
}