The undecidability of unification in third order logic (1973)

by G Huet
Venue:Information and Control