@misc{indiciaebb724f03ed16,
  title = {What Is Decidable about String Constraints with the ReplaceAll Function},
  author = {Taolue Chen and Yan Chen and Matthew Hague and Anthony W. Lin and Zhilin Wu},
  year = {2017},
  url = {https://arxiv.org/abs/1711.03363},
  note = {Source identifier: 1711.03363}
}