U.: An efficient unification algorithm (1982)

by A Martelli, Montanari
Venue:ACM Transactions on Programming Languages and Systems