Reduction of an arbitrary diophantine equation to one in 13 unknowns Yuri Matijasevič; Julia Robinson — 1975 Acta Arithmetica