D. Gaboriau, G. Levitt, F. Paulin, “Pseudogroups of isometries of ℝ and Rips’ theorem on free actions on ℝ-trees”, Isr J Math, 87:1-3 (1994), 403
Manfred Schmidt-Schauß, Lecture Notes in Computer Science, 698, Logic Programming and Automated Reasoning, 1993, 289
Alexander Bockmayr, Lecture Notes in Computer Science, 572, Word Equations and Related Topics, 1992, 171
В. Д. Мазуров, “Решенные задачи “Коуровской тетради””, УМН, 46:5(281) (1991), 121–156 ; V. D. Mazurov, “Solved problems in the Kourovka Notebook”, Russian Math. Surveys, 46:5 (1991), 137–182
Habib Abdulrab, Jean-Pierre Pécuchet, “Solving word equations”, Journal of Symbolic Computation, 8:5 (1989), 499
Habib Abdulrab, Jean-Pierre Pécuchet, Lecture Notes in Computer Science, 380, Fundamentals of Computation Theory, 1989, 1
Г. С. Маканин, “Разрешимость универсальной и позитивной теорий свободной группы”, Изв. АН СССР. Сер. матем., 48:4 (1984), 735–749 ; G. S. Makanin, “Decidability of the universal and positive theories of a free group”, Math. USSR-Izv., 25:1 (1985), 75–88
А. А. Разборов, “О системах уравнений в свободной группе”, Изв. АН СССР. Сер. матем., 48:4 (1984), 779–832 ; A. A. Razborov, “On systems of equations in a free group”, Math. USSR-Izv., 25:1 (1985), 115–162