Eric Jaligot, Zlil Sela, “Makanin–Razborov diagrams over free products”, Illinois J. Math., 54:1 (2010)
Nicholas W. M. Touikan, “The equation w(x, y) = u over free groups: an algebraic approach”, jgth, 2009, 0901192346
А. В. Кващук, А. Г. Мясников, Д. Е. Сербин, “Предгруппы и большие степени”, Алгебра и логика, 48:3 (2009), 342–377 ; A. V. Kvaschuk, A. G. Myasnikov, D. E. Serbin, “Pregroups and the big powers condition”, Algebra and Logic, 48:3 (2009), 193–213
Dimitri Bormotov, Robert Gilman, Alexei Myasnikov, “Solving one-variable equations in free groups”, jgth, 2008, 0811062337
В. Г. Дурнев, О. В. Зеткина, “Об уравнениях с ограничениями на решения в свободных полугруппах”, Исследования по конструктивной математике и математической логике. XI, Зап. научн. сем. ПОМИ, 358, ПОМИ, СПб., 2008, 120–129 ; V. G. Durnev, O. V. Zetkina, “On equations in free semigroups with certain constraints on their solutions”, J. Math. Sci. (N. Y.), 158:5 (2009), 671–676
Inna Bumagin, Olga Kharlampovich, Alexei Miasnikov, “The isomorphism problem for finitely generated fully residually free groups”, Journal of Pure and Applied Algebra, 208:3 (2007), 961
Markus Lohrey, Géraud Sénizergues, Lecture Notes in Computer Science, 4052, Automata, Languages and Programming, 2006, 504
С. Л. Шестаков, “Уравнение $[x,y]=g$ в частично коммутативных группах”, Сиб. матем. журн., 46:2 (2005), 466–477 ; S. L. Shestakov, “The equation $[x,y]=g$ in partially commutative groups”, Siberian Math. J., 46:2 (2005), 364–372
Antoni Kościelski, Leszek Pacholski, “Makanin's algorithm is not primitive recursive”, Theoretical Computer Science, 191:1-2 (1998), 145
Andrzej Kisielewicz, “Unification in Commutative Semigroups”, Journal of Algebra, 200:1 (1998), 246