An eTcient uni cation algorithm (1982)

by A Martelli, U Montanari
Venue:ACM Trans. Programming Languages and Syst