1. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. II. Foundations,” Fundam. Prikl. Mat., 17, No. 1, 65-106 (2011/2012).
2. V. A. Gorbunov, Algebraic Theory of Quasivarieties, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1999).
3. S. V. Sudoplatov, Classification of Countable Models of Complete Theories, Part 1, Novosibirsk, Novosibirsk State Tech. Univ. (2014).
4. S. V. Sudoplatov, Classification of Countable Models of Complete Theories, Part 2, Novosibirsk, Novosibirsk State Tech. Univ. (2014).
5. 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).