Baumgartner, Peter; Furbach, Ulrich

Annals of mathematics and artificial intelligence. AMAI. Bd. 38. H. 1. Amsterdam: Baltzer 2003 S. 211 - 228

Kushmerick, Nicholas; Thomas, Bernd

Lecture notes in computer science. Bd. 2586. Berlin: Springer 2003 S. 79 - 103

Baumgartner, P.

http://www.uni-koblenz.de/~peter/KMS-deliverable.pdf. 2001

Beuster, G.; Thomas, B.; Wolff, C.

http://www.icsc-naiso.org/ ICSC Symposium on Intelligent Systems & Application - MAMA 2000;. NAISO Academic Press 2000

Baumgartner, Peter

Lecture notes in computer science. Bd. 1831. Berlin: Springer 2000 S. 200 - 219

Beuster, G.; Thomas, B.; Wolff, C.

European Conference on Aritifical Intelligence - Workshop on Artificial Intelligence In Mobile Systems. 2000

Stolzenburg, Frieder

Journal of automated reasoning. Bd. 22. H. 1. Dordrecht [u.a.]: Springer 1999 S. 45 - 64

Stolzenburg, F.; Hähnle, H.; Menzel, W. et al.

Journal of Universal Computer Science. Bd. Journal of Universal Computer Science. Berlin, Heidelberg, New York: Springer 1999 S. 135-155

Stolzenburg, Frieder

Künstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 12. H. 2. Bremen: Böttcher IT-Verl. 1998 S. 73 - 78

Baumgartner, P.; Furbach, U.; Bibel, W. et al.

Bibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 73-102