@misc{indiciaee650875ccd50,
  title = {An SMT Solver for Regular Expressions and Linear Arithmetic over String Length},
  author = {Murphy Berzish and Mitja Kulczynski and Federico Mora and Florin Manea and Joel D. Day and Dirk Nowotka and Vijay Ganesh},
  year = {2021},
  url = {https://arxiv.org/abs/2010.07253},
  note = {Source identifier: 2010.07253}
}