Roman'kov V.A., “Algorithmic Theory of Solvable Groups”, Prikl. Diskretn. Mat., 2021, no. 52, 16–64
Е. И. Тимошенко, “О теориях относительно свободных разрешимых групп с дополнительным предикатом”, Алгебра и логика, 57:4 (2018), 456–475 ; E. I. Timoshenko, “Theories of relatively free solvable groups with extra predicate”, Algebra and Logic, 57:4 (2018), 295–308
А. Г. Мясников, В. Н. Ремесленников, “Рекурсивные $p$-адические числа и элементарные теории конечно порожденных про-$p$-групп”, Изв. АН СССР. Сер. матем., 51:3 (1987), 613–634 ; A. G. Myasnikov, V. N. Remeslennikov, “Recursive $p$-adic numbers and elementary theories of finitely generated pro-$p$-groups”, Math. USSR-Izv., 30:3 (1988), 577–597
Н. С. Романовский, “Об элементарной теории почти полициклической группы”, Матем. сб., 111(153):1 (1980), 135–143 ; N. S. Romanovskii, “On the elementary theory of an almost polycyclic group”, Math. USSR-Sb., 39:1 (1981), 125–132
Р. А. Саркисян, “Алгоритмические вопросы для линейных алгебраических групп. II”, Матем. сб., 113(155):3(11) (1980), 400–436 ; R. A. Sarkisyan, “Algorithmic questions for linear algebraic groups. II”, Math. USSR-Sb., 41:3 (1982), 329–359
Ю. Л. Ершов, Ю. И. Мерзляков, А. И. Ширшов, “Памяти Михаила Ивановича Каргаполова”, УМН, 32:1(193) (1977), 145–149 ; Yu. L. Ershov, Yu. I. Merzlyakov, A. I. Shirshov, “In memory of Mikhail Ivanovich Kargapolov”, Russian Math. Surveys, 32:1 (1977), 141–147