The undecidability of the second-order unification problem (1981)

by Warren D Goldfarb
Venue:Theor. Comput. Sci