1. Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin, “Elementary theories,” Usp. Mat. Nauk, 20, No. 4(124), 37-108 (1965).
2. A. Tarski, A. Mostowski, and R. M. Robinson, Undecidable Theories, Stud. Log. Found. Math., North-Holland, Amsterdam (1953).
3. A. I. Mal’tsev, “On a correspondence between rings and groups,” Mat. Sb., 50(92), No. 3, 257-266 (1960).
4. A. I. Mal’tsev, “The undecidability of the elementary theory of finite groups,” Dokl. Akad. Nauk SSSR, 138, No. 4, 771-774 (1961).
5. A. I. Mal’tsev, “Effective inseparability of a set of identically true formulae from a set of finitely refutable ones in some elementary theories,” Dokl. Akad. Nauk SSSR, 139, No. 4, 802-805 (1961).