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