Kindermann, Christian, Anne-Marie George, Bijan Parsia, and Uli Sattler. “Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)”. Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 9 (March 24, 2024): 10581-10588. Accessed April 27, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/28928.