C. Kindermann, A.-M. George, B. Parsia, and U. Sattler, “Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)”, AAAI, vol. 38, no. 9, pp. 10581-10588, Mar. 2024.