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