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

by G Huet
Venue:Inform. and Control