Adnan Darwiche Model-Based Diagnosis using Structured System Descriptions. 165-222 1998 8 J. Artif. Intell. Res. (JAIR) http://www.cs.washington.edu/research/jair/abstracts/abstracts/darwiche98a.html db/journals/jair/jair8.html#Darwiche98