1. V. Gould, A. V. Mikhalev, E. A. Palyutin, and A. A. Stepanova, “Model-theoretic properties of free, projective, and flat S-acts,” Fund. Prikl. Mat., 14, No. 7, 63-110 (2008).
2. A. A. Stepanova, “Axiomatizability and completeness of some classes of S-polygons,” Algebra and Logic, 30, No. 5, 379-388 (1991).
3. V. Gould, “Axiomatizability problems for S-systems,” J. London Math. Soc., II. Ser., 35, 193-201 (1987).
4. A. V. Mikhalev, E. V. Ovchinnikova, E. A. Palyutin, and A. A. Stepanova, “Model-theoretic properties of regular polygons,” Fund. Prikl. Mat., 10, No. 4, 107-157 (2004).
5. A. A. Stepanova, “Axiomatizability and model completeness of the class of regular polygons,” Sib. Math. J., 35, No. 1, 166-177 (1994).