Incremental Diagnosis of DES by Satisfiability.

Alban Grastien, Anbulagan

Browse the full ECAI paper archive.