Roman'kov V.A., “Algorithmic Theory of Solvable Groups”, Prikl. Diskretn. Mat., 2021, no. 52, 16–64
А. Ф. Красников, “О порождающих элементах групп и алгебр Ли вида $F/[N,N]$”, Вестн. НГУ. Сер. матем., мех., информ., 15:2 (2015), 60–71 ; A. F. Krasnikov, “Generating elements for groups and Lie algebras of the form $F/[N,N]$”, J. Math. Sci., 215:4 (2016), 517–528
Ч. К. Гупта, Н. С. Романовский, “О проблеме равенства для полинильпотентных групп с одним примитивным определяющим соотношением”, Алгебра и логика, 45:1 (2006), 28–43 ; Ch. K. Gupta, N. S. Romanovskii, “The Word Problem for Polynilpotent Groups with a Single Primitive Defining Relation”, Algebra and Logic, 45:1 (2006), 17–25
С. И. Адян, В. Г. Дурнев, “Алгоритмические проблемы для групп и полугрупп”, УМН, 55:2(332) (2000), 3–94 ; S. I. Adian, V. G. Durnev, “Decision problems for groups and semigroups”, Russian Math. Surveys, 55:2 (2000), 207–296
О. Г. Харлампович, “Конечно определенная разрешимая группа с неразрешимой проблемой равенства”, Изв. АН СССР. Сер. матем., 45:4 (1981), 852–873 ; O. G. Kharlampovich, “A finitely presented solvable group with unsolvable word problem”, Math. USSR-Izv., 19:1 (1982), 151–169
А. И. Будкин, “Аксиоматический ранг квазимногообразия, содержащего свободную разрешимую группу”, Матем. сб., 112(154):4(8) (1980), 647–655 ; A. I. Budkin, “The axiomatic rank of a quasivariety containing a free solvable group”, Math. USSR-Sb., 40:4 (1981), 583–590
Ю. И. Мерзляков, “Пятый Всесоюзный симпозиум по теории групп”, УМН, 32:2(194) (1977), 240–245