Motik, Boris
Reasoning in Description Logics using Resolution and Deductive Databases
Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006.
F. Baader, B. Ganter, B. Sertkaya, und U. Sattler. Proceedings of the 20th international joint conference on Artifical intelligence, Seite 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)
F. Baader. Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, Seite 168--178. Santa Cruz, USA, (1995)