1. Diagnosing and solving over-determined constraint satisfaction problems;Bakker,1993
2. Top-down consistency based diagnosis;Bond,1996
3. G.W. Bond, B. Pagurek, A critical analysis of “Model Based Diagnoses meets Error Diagnosis in Logical Programs”, Technical Report SCE-94-15, Carleton University, Department of Systems and Computer Engineering, Ottawa, ON, 1994
4. Declarative diagnosis of constraint programs: An assertion-based approach;Boye,1997
5. Model-based diagnosis meets error diagnosis in logic programs;Console,1993