F. Baader, B. Ganter, B.Sertkaya, und U. Sattler. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), Seite 230--235. (2007)
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)