1. A. I. Mal’tsev, “Universally axiomatizable subclasses of locally finite classes of models,” Sib. Math. J., 8, No. 5, 764-770 (1967).
2. A. Tarski, “Equational logic and equational theories of algebras,” in Contributions to Mathematical Logic (Proc. Logic Colloq., Hannover, 1966), North Holland, Amsterdam (1968), pp. 275-288.
3. A. I. Budkin, “Independent axiomatizability of quasivarieties of groups,” Mat. Zametki, 31, No. 6, 817-826 (1982).
4. A. I. Budkin, “Independent axiomatizability of quasivarieties of generalized solvable groups,” Algebra and Logic, 25, No. 3, 155-166 (1986).
5. A. I. Budkin, “Independent axiomatizability of quasivarieties of solvable groups,” Algebra and Logic, 30, No. 2, 81-100 (1991).