Efficient Solving of the Word Equations in One Variable. - S. Eyono Obono; Pavel Goralcik; M. N. Maksimenko (MFCS, 1994)