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)