1. Lecture Notes in Computer Science;R.K. Brayton,1996
2. Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: Localizing errors in counterexample traces. In: 30th Symposium on Principles of Programming Languages (POPL 2003), January 2003, pp. 97–105 (2003)
3. Console, L., Friedrich, G., Theseider Dupré, D.: Model-based diagnosis meets error diagnosis in logic programs. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 1494–1499. Morgan-Kaufmann, San Francisco (1993)
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
5. Console, L., Torasso, P.: A spectrum of logical definitions of model-based diagnosis. Computational Intelligence 7(3), 133–141 (1991)