F. Baader, B. Ganter, B. Sertkaya, and U. Sattler. Proceedings of the 20th international joint conference on Artifical intelligence, page 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)
V. Haarslev, and R. Möller. Automated Reasoning: First International Joint
Conference (IJCAR) 2001, volume 2083 of Lecture Notes in Computer Science, page 701. Siena, Italy, Springer-Verlag, (June 2001)
F. Baader. Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, page 168--178. Santa Cruz, USA, (1995)
J. Metzger, F. Ber, and A. Napoli. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), volume 2746 of Lecture Notes in Computer Science, page 215-228. Springer, (2003)
F. Baader. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), volume 2746 of Lecture Notes in Computer Science, page 117-130. Springer, (2003)