Reduction of an arbitrary diophantine equation to one in 13 unknowns Yuri Matijasevič, Julia Robinson (1975) Acta Arithmetica
Relations diophantiennes et la solution négative du 10e problème de Hilbert Jean-Pierre Azra (1970/1971) Séminaire Bourbaki