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)