1. Cobham, A., 1962, Undecidability in group theory,Amer. Math. Soc. Notices,9, 406.
2. Eršov, U., 1963, Razrešimost’ èlementarnyh, teorii nekotoryh klassov abelevyh grupp (Decidability of certain classes of Abelian groups).Algebra i Logika Seminar,1, 37–41.
3. Huber Dyson, V., 1963, A decidable theory for which the theory of finite models is undecidable,Amer. Math. Soc. Notices,10, 453.
4. Huber Dyson, V., 1963, A decidable theory for which the theory of infinite models is undecidable,Amer. Math. Soc. Notices,10, 491.
5. Janiczak, A., 1953, Undecidability of some simple formalized theories,Fund Math.,40, 131–139.