1. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, Algebra Discrete Math. 1, 80–112 (2008); ar-Xiv:0808.2522 [math.AG].
2. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, Preprint, arXiv:1002.3562 [math.AG].
3. V. A. Gorbunov, Algebraic Theory of Quasivarieties (Plenum, 1998; Nauchnaya Kniga, Novosibirsk, 1999).
4. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, Preprint, arXiv:1002.4243 [math.AG].