В. Г. Дурнев, О. В. Зеткина, А. И. Зеткина, “Об элементарных теориях алгебраически замкнутых групп”, Чебышевский сб., 21:1 (2020), 186–199
Baizhanov B.S. Kulpeshov B.Sh. Zambarnaya T.S., “A.D. Taimanov and Model Theory in Kazakhstan”, Sib. Electron. Math. Rep., 17 (2020), A1–A58
В. Г. Дурнев, О. В. Зеткина, А. И. Зеткина, “О «простых» алгоритмически неразрешимых фрагментах элементарной теории бесконечно порожденной свободной полугруппы”, Чебышевский сб., 21:4 (2020), 56–71
Artur Jeż, Lecture Notes in Computer Science, 12038, Language and Automata Theory and Applications, 2020, 44
V G Durnev, O V Zetkina, A I Zetkina, “On “simple” undecidable fragments of positive and elementary theories of free semigroups of finite or countable rank”, J. Phys.: Conf. Ser., 1479:1 (2020), 012061
Igor Sheremet, Introduction to Data Science and Machine Learning, 2020
V G Durnev, O V Zetkina, A I Zetkina, “On the equations with constraints in free groups”, J. Phys.: Conf. Ser., 1202 (2019), 012019
С. И. Адян, “Об исследованиях Геннадия Семёновича Маканина по алгоритмическим вопросам теории групп и полугрупп”, УМН, 73:3(441) (2018), 183–196 ; S. I. Adian, “On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups”, Russian Math. Surveys, 73:3 (2018), 553–568
Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka, Lecture Notes in Computer Science, 11123, Reachability Problems, 2018, 15
Benjamin Fine, Anthony Gaglione, Gerhard Rosenberger, Dennis Spellman, “The Tarski Problems and Their Solutions”, APM, 05:04 (2015), 212