1. An explicit diophantine definition of the exponential function;Davis, Martin;Comm. Pure Appl. Math.,1971
2. Ju. V. Matijasevič, Enumerable sets are Diophantine, Dokl. Akad. Nauk SSSR 191 (1970), 279-282=Soviet Math. Dokl. 11 (1970), 354-358.
3. Hilbert’s tenth problem;Robinson, Julia,1971