Satisfiability of word equations with constants is in PSPACE (0)

by Wojciech Plandowski
Venue:J. ACM