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

Formal Parametric Equations. - G. S. Makanin; Habib Abdulrab; M. N. Maksimenko (FCT, 1995)