1. A. P. Bel'tyukov, "Decidability of the universal theory of the natural numbers with addition and divisibility," Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst.,60, No. 7, 15–28 (1976).
2. G. T. Kozlov and A. I. Kokorin, "Elementary theory of torsion-free Abelian groups with a predicate distinguishing a subgroup," Algebra Logika,8, No. 3, 320–334 (1969).
3. Yu. V. Matiyasevich, "Enumerable sets are diophantine," Dokl. Akad. Nauk SSSR,191, No. 2, 279–282 (1970).
4. L. Lipshitz, "The diophantine problem for +, |," Preprint (1975).