A New Approach to Universal Unification and Its Application to AC-Unification. - Mark Franzen; Lawrence J. Henschen (CADE, 1988)

Hilbert's Tenth Problem is of Unification Type Zero. - Mark Franzen (J. Autom. Reason., 1992)