1. 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.
2. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. II. Foundations,” Fundam. Prikl. Mat., 17, No. 1, 65-106 (2011/2012).
3. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. III: Equationally Noetherian property and compactness,” South. Asian Bull. Math.. 35, No. 1, 35-68 (2011).
4. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. IV. Equational domains and codomains,” Algebra and Logic, 49, No. 6, 683-508 (2010).
5. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. V. The case of arbitrary signature,” Algebra and Logic, 51, No. 1, 28-40 (2012).