F. Baader, B. Ganter, B. Sertkaya, и U. Sattler. Proceedings of the 20th international joint conference on Artifical intelligence, стр. 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, стр. 168--178. Santa Cruz, USA, (1995)