TY  - RPRT
TI  - The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability
AU  - Joel Day
AU  - Vijay Ganesh
AU  - Paul He
AU  - Florin Manea
AU  - Dirk Nowotka
PY  - 2018
UR  - https://arxiv.org/abs/1802.00523
ID  - 1802.00523
ER  -