1. A. P. Bel’tyukov, “Decidability of the universal theory of the natural numbers with addition and divisibility”, Zapiski Nauchnyh Seminarov LOMI 60, 15–28 (1976) (in Russian).
2. L. Lipshitz, “The Diophantine problem for addition and divisibility”, Trans. Am. Math. Soc. 235, 271–283 (1976).
3. V. I. Mart’yanov, “Universal extended theories of integers”, Algebra i Logika, 16, Issue 5, 588–602 (1977).
4. L. Lipshitz, “Some remarks on the Diophantine problem for addition and divisibility”, Bull. Soc. Math. Belg. Ser. B, 33, Issue 1, 41–52 (1981).
5. A. Lechner, J. Ouaknine, and J. Worrell, “On the complexity of linear arithmetic with divisibility”, Proc. of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 667–676 (2015).