1. Baumgartner, P., Fröhlich, P., Furbach, U., Nejdl, W.: Semantically Guided Theorem Proving for Diagnosis Applications. In: Pollack, M.E. (ed.) 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, pp. 460–465. Morgan Kaufmann, San Francisco (1997)
2. LNAI;P. Baumgartner,1996
3. Lecture Notes in Artificial Intelligence;A. Ciampolini,2000
4. Console, L., Torasso, P.: A spectrum of logical definitions of model-based diagnosis. Computational Intelligence 7(3), 133–141 (1991)
5. Fensel, D., Benjamins, R.: Assumptions in model-based diagnosis. In: Gaines, B.R., Musen, M.A. (eds.) Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW 1996, Calgary, pp. 5/1–5/18. Department of Computer Science, University of Calgary, SRDG Publications (1996)