The undecidability of the second-order unification problem. Theoretical computer science (1981)

by Warren D Goldfarb