The Undecidability of Unification (1973)

by G P Huet
Venue:in Third Order Logic Information and Control 22(3