An e cient uni cation algorithm (1982)

by A Martelli, U Montari
Venue:Proceedings of the International Conference onLogic Programming