Structural Abstraction in Model-Based Diagnosis. - Kari Autio; Raymond Reiter (ECAI, 1998)