Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka. The Satisfiability of Word Equations: Decidable and Undecidable Theories. In Igor Potapov, Pierre-Alain Reynier, editors, Reachability Problems - 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings. Volume 11123 of Lecture Notes in Computer Science, pages 15-29, Springer, 2018. [doi]
Abstract is missing.