1. G. Baumslag and A. Myasnikov, “Algebraic geometry over groups,” in Algorithmic Problems in Groups and Semigroups, Trends Math., J.-C. Birget et al. (Eds.), Birkhäuser, Boston, MA (2000), pp. 35-50.
2. A. Myasnikov and V. N. Remeslennikov, “Algebraic geometry over groups. II. Logical foundations,” J. Alg., 234, No. 1, 225-276 (2000).
3. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. IV. Equational domains and codomains,” Algebra Logika, 49, No. 6, pp. 715-756 (2010).
4. G. S. Makanin, “Decidability of universal and positive theories of free groups,” Izv. Akad. Nauk SSSR, Ser. Mat., 48, No. 4, 735-749 (1984).
5. W. D. Maurer and J. L. Rhodes, “A property of finite simple non-abelian groups,” Proc. Am. Math. Soc., 16, 552-554 (1965).