Kharlampovich O. Myasnikov A., “Undecidability of Equations in Free Lie Algebras”, Trans. Am. Math. Soc., 371:4 (2019), 2987–2999
Poroshenko E.N., Timoshenko E.I., “Universal Equivalence of Partially Commutative Metabelian Lie Algebras”, J. Algebra, 384 (2013), 143–168
Plotkin B. Aladova E. Plotkin E., “Algebraic Logic and Logically-Geometric Types in Varieties of Algebras”, J. Algebra. Appl., 12:2 (2013), 1250146
Э. Ю. Даниярова, А. Г. Мясников, В. Н. Ремесленников, “Алгебраическая геометрия над алгебраическими системами. II. Основания”, Фундамент. и прикл. матем., 17:1 (2012), 65–106 ; E. Yu. Daniyarova, A. G. Myasnikov, V. N. Remeslennikov, “Algebraic geometry over algebraic structures. II. Foundations”, J. Math. Sci., 185:3 (2012), 389–416
А. Г. Пинус, “Алгебраическая и логическая геометрии универсальных алгебр (унифицированный подход)”, Фундамент. и прикл. матем., 17:1 (2012), 189–204 ; A. G. Pinus, “The algebraic and logical geometries of universal algebras (a unified approach)”, J. Math. Sci., 185:3 (2012), 473–483
Э. Ю. Даниярова, “Аксиомы метабелевых Q-алгебр и U-алгебр Ли”, Сиб. электрон. матем. изв., 9 (2012), 266–284
Altassan A., Stoehr R., “On linear equations in free Lie algebras”, J Algebra, 349:1 (2012), 329–341
Chen Y. Chen Yu., “Grobner-Shirshov Bases for Metabelian Lie Algebras”, J. Algebra, 358 (2012), 143–161
Э. Ю. Даниярова, “Метабелевы $U$-алгебры Ли”, Сиб. электрон. матем. изв., 5 (2008), 355–382
Daniyarova E., Myasnikov A., Remeslennikov V., “Unification theorems in algebraic geometry”, Aspects of Infinite Groups, Algebra and Discrete Mathematics, 1, 2008, 80–111