Structural Abstraction in Model-Based Diagnosis.

Kari Autio, Raymond Reiter

Browse the full ECAI paper archive.