The undecidability of unification in third order logic (1973)

by Gérard Huet
Venue:Information and Control