Unification in the Description Logic \$\$\backslashmathcal \ELH\\_\\backslashmathcal \R\^+\\$\$Without the Top Concept Modulo Cycle-Restricted Ontologies. In Christoph Benzmüller, Marijn J.H. Heule, und Renate A. Schmidt (Hrsg.), Automated Reasoning, 279--297, Springer Nature Switzerland, Cham, 2024. [PUMA: imported xack]