I. Horrocks, и U. Sattler. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, стр. 199-204. Morgan Kaufmann, (2001)
I. Horrocks, O. Kutz, и U. Sattler. Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, стр. 57-67. AAAI Press, (2006)