TY  - RPRT
TI  - Model-Based Diagnosis using Structured System Descriptions
AU  - A. Darwiche
PY  - 1998
UR  - https://arxiv.org/abs/cs/9806101
ID  - cs/9806101
ER  -