F. Baader, B. Ganter, B.Sertkaya, и U. Sattler. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), стр. 230--235. (2007)
D. Calvanese, G. Giacomo, и M. Lenzerini. Computational Logic: Logic Programming and Beyond, том 2408 из Lecture Notes in Computer Science, стр. 41--60. Springer Berlin / Heidelberg, (2002)