Mark Franzen Hilbert's Tenth Problem is of Unification Type Zero. 169-178 1992 9 J. Autom. Reasoning 2 db/journals/jar/jar9.html#Franzen92