1. de Kleer, J., Mackworth, A.K., Reiter, R.: Characterizing Diagnoses and Systems. Artificial Intelligence 56(2-3) (1992) 197–222
2. de Kleer, J., Williams, B.C.: Diagnosing Multiple Faults. Artificial Intelligence 32(1) (April 1987) 97–130
3. Reiter, R.: A Theory of Diagnosis from First Principles. Artificial Intelligence 32(1) (1987) 57–95
4. Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M.: Consistency-based Diagnosis of Configuration Knowledge Bases. Artificial Intelligence 152(2) (2004) 213–234
5. Mateis, C., Stumptner, M., Wieland, D., Wotawa, F.: Model-Based Debugging of Java Programs. In: AADEBUG’00. (2000)