Possible Conflicts: A Compilation Technique for Consistency-Based Diagnosis | Publicación