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