Reduction of an arbitrary diophantine equation to one in 13 unknowns Yuri Matijasevič, Julia Robinson (1975) Acta Arithmetica