Yifei Huang, Matin Amini, Alexis Le Glaunec, Konstantinos Mamouras, Mukund Raghothaman: Membership Testing for Semantic Regular Expressions. Proc. ACM Program. Lang. 9(PLDI): 1245-1268 (2025)