1. Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin, ?Elementary theories,? Usp. Mat. Nauk,20, No. 4, 37?108 (1965).
2. A. I. Mal'tsev, ?On some boundary questions of algebra and logic,? in: Proceeding of the International Congress of Mathematicians [Russian translation], Mir, Moscow (1968), pp. 217?231.
3. A. I. Kokorin and A. G. Pinus, ?Problems of decidability of extended theories,? Usp. Mat. Nauk,33, No. 2, 49?84 (1978).
4. Yu. L. Ershov, ?Bounded theories of well-ordered sets,? Algebra Logik,7, No. 3, 38?47 (1968).
5. Yu. V. Matiyasevich, ?Diophantineness of enumerable sets,? Dokl. AN SSSR,191, No. 2, 279?282 (1970).