I. Horrocks. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98), page 636--647. Morgan Kaufmann Publishers, San Francisco, California, (June 1998)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/1998/kr98.ps.gz.
F. Baader, I. Horrocks, and U. Sattler. Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 228--248. Springer, (2005)