@misc{indiciae7dd85f89bb02,
  title = {Membership Testing for Semantic Regular Expressions},
  author = {Yifei Huang and Matin Amini and Alexis Le Glaunec and Konstantinos Mamouras and Mukund Raghothaman},
  year = {2025},
  doi = {10.1145/3729300},
  url = {https://arxiv.org/abs/2410.13262},
  note = {Source identifier: 2410.13262}
}