@misc{indiciaeb4e2a184b5b8,
  title = {Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables},
  author = {Taolue Chen and Alejandro Flores Lamas and Matthew Hague and Zhilei Han and Denghang Hu and Shuanglong Kan and Anthony Widjaja Lin and Philipp Ruemmer and Zhilin Wu},
  year = {2021},
  url = {https://arxiv.org/abs/2111.04298},
  note = {Source identifier: 2111.04298}
}