Unification in the Description Logic $ELH_R^+$ without the Top Concept Modulo Cycle-Restricted Ontologies. In Christoph Benzmüller, Marijn J.H. Heule, und Renate A. Schmidt (Hrsg.), Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II, (14740):279--297, Springer, 2024. [PUMA: topic_knowledge]