An efficient unification algorithm (1982)

by A Martelli, U Montanari
Venue:ACM Trans. on Languages and Systems