@misc{indiciaedd69240acc67,
  title = {Optimizing Regular Expressions via Rewrite-Guided Synthesis},
  author = {Jedidiah McClurg and Miles Claver and Jackson Garner and Jake Vossen and Jordan Schmerge and Mehmet E. Belviranli},
  year = {2022},
  url = {https://arxiv.org/abs/2104.12039},
  note = {Source identifier: 2104.12039}
}