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

Universal Turing Machine by Jian Xu, Xingyuan Zhang, Christian Urban and Sebastiaan J. C. Joosten Feb 08