Robert H. Gilman, Alexei Myasnikov, Roman'kov Vitali, “Random equations in free groups”, Groups – Complexity – Cryptology, 3, № 2, 2011
G. Mashevitzky, B. Plotkin, E. Plotkin, “Automorphisms of categories of free algebras of varieties”, Electron. Res. Announc. Amer. Math. Soc., 8, № 1, 2002, 1
N. S. Romanovskii, I. P. Shestakov, “Noetherianness of wreath products of Abelian Lie algebras with respect to equations of universal enveloping algebra”, Algebra Logic, 47, № 4, 2008, 269
M. Shahryari, “On the geometric equivalence of algebras”, Annals of Pure and Applied Logic, 175, № 2, 2024, 103386
Olga Kharlampovich, Alexei G. Myasnikov, Combinatorial and Geometric Group Theory, 2010, 203
S. G. Melesheva, “Equations and algebraic geometry over profinite groups”, Algebra Logic, 49, № 5, 2010, 444
E. Yu. Daniyarova, I. V. Kazatchkov, V. N. Remeslennikov, “Algebraic geometry over free metabelian lie algebras. II. Finite-field case”, J Math Sci, 135, № 5, 2006, 3311
Elena Aladova, Eugene Plotkin, Tatjana Plotkin, “Isotypeness of Models and Knowledge Bases Equivalence”, Math.Comput.Sci., 7, № 4, 2013, 421
Bernhard Mühlherr, Gianluca Paolini, Saharon Shelah, “First-order aspects of Coxeter groups”, Journal of Algebra, 595, 2022, 297
A. Tsurkov, “Automorphic equivalence in the classical varieties of linear algebras”, Int. J. Algebra Comput., 27, № 08, 2017, 973