1. K. Prachar, Distribution of Prime Numbers [Russian translation], Mir, Moscow (1967).
2. A. P. Bel'tyukov, "Decidability of the universal theory of natural numbers with addition and divisibility," Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst.,60, No. 7, 15–28 (1976).
3. V. I. Mart'yanov, "Universal extended theories of integers," Algebra Logika,16, No. 5, 588–602 (1977).
4. L. Lipschitz, The Diophantine Problem for +, |, −, Preprint (1975).