Wojciech Plandowski Satisfiability of word equations with constants is in PSPACE. 483-496 2004 51 J. ACM 3 http://doi.acm.org/10.1145/990308.990312 db/journals/jacm/jacm51.html#Plandowski04