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

by W D Goldfarb
Venue:Theoretical Computer Science