I. Horrocks, L. Padgham, и L. Thomson. Australian Joint Conference on Artificial Intelligence, том 1747 из Lecture Notes in Computer Science, стр. 328-339. Springer, (1999)
F. Baader, I. Horrocks, и U. Sattler. Mechanizing Mathematical Reasoning, том 2605 из Lecture Notes in Computer Science, стр. 228-248. Springer, (2005)
D. Cucala, B. Grau, и I. Horrocks. Description Logic, Theory Combination, and All That, том 11560 из Lecture Notes in Computer Science, стр. 573-587. Springer, (2019)