I. Horrocks, and U. Sattler. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, page 199-204. Morgan Kaufmann, (2001)
I. Horrocks, O. Kutz, and U. Sattler. Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, page 57-67. AAAI Press, (2006)
C. Golbreich, M. Horridge, I. Horrocks, B. Motik, and R. Shearer. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, volume 4825 of LNCS, page 169--182. Berlin, Heidelberg, Springer Verlag, (November 2007)