"A Direct Method for Simulating Partial Recursive Functions by Diophantine ..."

Yuri V. Matiyasevich (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics