@misc{indiciaec4895337f207,
  title = {String Theories involving Regular Membership Predicates: From Practice to Theory and Back},
  author = {Murphy Berzish and Joel D. Day and Vijay Ganesh and Mitja Kulczynski and Florin Manea and Federico Mora and Dirk Nowotka},
  year = {2021},
  url = {https://arxiv.org/abs/2105.07220},
  note = {Source identifier: 2105.07220}
}