The undecidability of unification in third-order logic (1973)

by G Huet
Venue:Information and Control