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 2024, 38, 10581-10588.