Formal Languages via Theories over Strings. - Joel D. Day; Vijay Ganesh 001; Nathan Grewal; Florin Manea (CoRR, 2022)

On the Expressive Power of String Constraints. - Joel D. Day; Vijay Ganesh 001; Nathan Grewal; Florin Manea (Proc. ACM Program. Lang., 2023)

A Closer Look at the Expressive Power of Logics Based on Word Equations. - Joel D. Day; Vijay Ganesh 001; Nathan Grewal; Matthew Konefal; Florin Manea (Theory Comput. Syst., 2024)