Kari Autio Raymond Reiter Structural Abstraction in Model-Based Diagnosis. 269-273 1998 ECAI db/conf/ecai/ecai98.html#AutioR98