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
E. Yu. Daniyarova, A. G. Myasnikov, V. N. Remeslennikov, “Algebraic geometry over algebraic structures. II. Foundations”, J. Math. Sci., 185:3 (2012), 389–416
A. G. Pinus, “The algebraic and logical geometries of universal algebras (a unified approach)”, J. Math. Sci., 185:3 (2012), 473–483
E. Yu. Daniyarova, “Aksiomy metabelevykh Q-algebr i U-algebr Li”, Sib. elektron. matem. izv., 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
E. Yu. Daniyarova, “Metabelevy $U$-algebry Li”, Sib. elektron. matem. izv., 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