1. Yu. L. Ershov, ?Elementary theories of groups,? Dokl. Akad. Nauk SSSR,203, No. 6, 1240?1243 (1972).
2. W. Baur, G. Cherlin, and A. Macintyre, ?Totally categorical groups and rings,? J. Algebra,57, 407?440 (1979).
3. A. G. Myasnikov and V. N. Remeslennikov, ?Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I,? Sib. Mat. Zh.,23, No. 5, 152?167 (1982).
4. A. G. Myasnikov, ?Elementary equivalence of finitely-generated nilpotent groups,? in: 9th All-Union Symposium on Group Theory, Thesis Report, Lenin Moscow State Pedagogical Institute, Moscow (1984), pp. 46?47.
5. A. G. Myasnikov, ??-stable rings and groups,? in: 7th All-Union Conf. on Math. Logic, Thesis Report, Math. Inst. Sib. Sect., Academy of Sciences of the USSR, Novosibirsk (1984).