F. Baader, I. Horrocks, and U. Sattler. Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 228--248. Springer, (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)
G. Flouris, D. Plexousakis, and G. Antoniou. In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, (May 2005)
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)