@article{1255644636, author = {Davis, Martin and Putnam, Hilary}, title = {Diophantine sets over polynominal rings}, journal = {Illinois J. Math.}, volume = {7}, number = {1}, year = {1963}, pages = { 251-256}, language = {en}, url = {http://dml.mathdoc.fr/item/1255644636} }
Davis, Martin; Putnam, Hilary. Diophantine sets over polynominal rings. Illinois J. Math., Tome 7 (1963) no. 1, pp. 251-256. http://gdmltest.u-ga.fr/item/1255644636/