Diophantine Equations and the DPRM Theorem by Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri Matiyasevich and Dierk Schleicher Jun 06