| |
| 1992 | ||
|---|---|---|
| 2 | Mark Franzen: Hilbert's Tenth Problem is of Unification Type Zero. J. Autom. Reasoning 9(2): 169-178 (1992) | |
| 1988 | ||
| 1 | Mark Franzen, Lawrence J. Henschen: A New Approach to Universal Unification and Its Application to AC-Unification. CADE 1988: 643-657 | |
| 1 | Lawrence J. Henschen | [1] |