V. A. Roman'kov, “Algorithmic theory of solvable groups”, ПДМ, 2021, № 52, 16–64
А. Г. Мясников, М. Сохраби, “Диофантовы проблемы в классических матричных группах”, Изв. РАН. Сер. матем., 85:6 (2021), 205–244 ; A. G. Myasnikov, M. Sohrabi, “The Diophantine problem in the classical matrix groups”, Izv. Math., 85:6 (2021), 1220–1256
Albert Garreta, Robert D. Gray, “On equations and first-order theory of one-relator monoids”, Information and Computation, 281 (2021), 104745
V.G. Durnev, O.V. Zetkina, A.I. Zetkina, “Algorithmic undecidability of compatibility problem for equations in free groups: Explicit equations with one commutator-type constraint”, Journal of Algebra, 570 (2021), 452
Mahdiyeh Nouri, “Algebraic geometry over Heyting algebras”, Журн. СФУ. Сер. Матем. и физ., 13:4 (2020), 414–421
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
Artur Jeż, Lecture Notes in Computer Science, 12038, Language and Automata Theory and Applications, 2020, 44
Igor Sheremet, Introduction to Data Science and Machine Learning, 2020
Albert Garreta, Alexei Miasnikov, Denis Ovchinnikov, “Diophantine problems in solvable groups”, Bull. Math. Sci., 10:01 (2020), 2050005
V G Durnev, O V Zetkina, A I Zetkina, “On the equations with constraints in free groups”, J. Phys.: Conf. Ser., 1202 (2019), 012019