Wojciech Plandowski An efficient algorithm for solving word equations. 467-476 2006 conf/stoc/2006 STOC http://doi.acm.org/10.1145/1132516.1132584 db/conf/stoc/stoc2006.html#Plandowski06