D. Tsarkov, and I. Horrocks. Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, page 292--297. Springer, (2006)
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.
G. Flouris, D. Plexousakis, and G. Antoniou. In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, (May 2005)
G. Flouris, D. Plexousakis, and G. Antoniou. In Proc. of the 10th International Workshop on Non-Monotonic Reasoning 2004 (NMR-04), page 171-179. Westin Whistler Resort and Spa, Whistler BC, Canada, (June 2004)
V. Haarslev, R. Möller, and A. Turhan. IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, page 61--75. London, UK, Springer-Verlag, (2001)
B. Parsia, E. Sirin, and A. Kalyanpur. WWW '05: Proceedings of the 14th international conference on World Wide Web, page 633--640. New York, NY, USA, ACM Press, (2005)
F. Baader, I. Horrocks, and U. Sattler. Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 228--248. Springer, (2005)