1. A. P. Bel'tyukov, Decidability of the universal theory of natural numbers with addition and divisibility (Russian), Investigations in constructive mathematics and mathematical logic VII, Seminars of Steklov Math. Inst. (Leningrad) Vol. 60(1976), 15–28.
2. Algebraic functions of one variable;Chevalley,1951
3. Hilbert's tenth problem is unsolvable;Davis;Amer. Math. Monthly,1973
4. Diophantine sets over polynomial rings;Davis;Illinois J. Math.,1963
5. Diophantine equations: Positive aspects of a negative solution;Davis;Proc. of Symposia in Pure Math.,1976