2 citations to https://www.mathnet.ru/rus/im8272

1. V. A. Roman'kov, “Algorithmic theory of solvable groups”, ПДМ, 2021, № 52, 16–64      
2. Е. И. Тимошенко, “О теориях относительно свободных разрешимых групп с дополнительным предикатом”, Алгебра и логика, 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