@article{DBLP:journals/jair/Darwiche98,
author = {Adnan Darwiche},
title = {Model-Based Diagnosis using Structured System Descriptions},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {8},
year = {1998},
pages = {165-222},
ee = {http://dx.doi.org/10.1613/jair.462},
bibsource = {DBLP, http://dblp.uni-trier.de}
}