@misc{indiciaecabc1692d723,
  title = {CertiStr: A Certified String Solver (technical report)},
  author = {Shuanglong Kan and Anthony W. Lin and Philipp Rümmer and Micha Schrader},
  year = {2021},
  doi = {10.1145/3497775.3503691},
  url = {https://arxiv.org/abs/2112.06039},
  note = {Source identifier: 2112.06039}
}