Kindermann C, George A-M, Parsia B, Sattler U. Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond). AAAI [Internet]. 2024Mar.24 [cited 2026May3];38(9):10581-8. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/28928