TY - RPRT TI - Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective AU - Daniele Theseider Dupre' PY - 2000 UR - https://arxiv.org/abs/cs/0003016 ID - cs/0003016 ER -