An e cient uni cation algorithm (1982)

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