F. Baader, I. Horrocks, und U. Sattler. Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 228--248. Springer, (2005)
G. Flouris, D. Plexousakis, und G. Antoniou. In Proc. of the 10th International Workshop on Non-Monotonic Reasoning 2004 (NMR-04), Seite 171-179. Westin Whistler Resort and Spa, Whistler BC, Canada, (Juni 2004)
G. Flouris, D. Plexousakis, und G. Antoniou. In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, (Mai 2005)
V. Haarslev, R. Möller, und A. Turhan. IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, Seite 61--75. London, UK, Springer-Verlag, (2001)