Authors: M.Franzen

Citation: M.franzen, Hilbert's Tenth Problem is of Unification Type Zero, Journal of automated reasoning , 9(2), 1992, pp. 169-178