TY  - RPRT
TI  - Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
AU  - Hubie Chen
AU  - Stefan Mengel
PY  - 2026
DO  - 10.46298/lmcs-22(2:6)2026
UR  - https://arxiv.org/abs/2411.10229
ID  - 2411.10229
ER  -