1. C. C. Chang and H. J. Keisler, Model Theory, North-Holland, Amsterdam (1973).
2. B. I. Plotkin, “Some notions of algebraic geometry in universal algebra,” Alg. An., 9, No. 4, 224-248 (1997).
3. B. I. Plotkin, “Some results and problems related to universal algebraic geometry,” Int. J. Alg. Comp., 17, Nos. 5/6, 1133-1164 (2007).
4. G. Baumslag, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over groups. I: Algebraic sets and ideal theory,” J. Alg., 219, No. 1, 16-79 (1999).
5. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Unification theorems in algebraic geometry,” in Aspects of Infinite Groups, Algebra Discr. Math. (Hackensack), 1, World Sci., Hackensack, NJ (2008), pp. 80-111.