TY  - RPRT
TI  - Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and beyond)
AU  - Christian Kindermann
AU  - Anne-Marie George
AU  - Bijan Parsia
AU  - Uli Sattler
PY  - 2023
UR  - https://arxiv.org/abs/2312.10857
ID  - 2312.10857
ER  -