Satisfiability of word equations with constants is in pspace (1999)

by W Plandowski
Venue:In 40th Annual Symposium on Foundations of Computer Science (FOCS