The undecidability of the second order unification problem (1981)

by D Goldfarb
Venue:Theoretical Computer Science