@misc{indiciaef6924b36e755,
  title = {Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity},
  author = {Hubie Chen and Stefan Mengel},
  year = {2026},
  doi = {10.46298/lmcs-22(2:6)2026},
  url = {https://arxiv.org/abs/2411.10229},
  note = {Source identifier: 2411.10229}
}