An Efficient Unification Algorithm (1982)

by Alberto Martelli , Ugo Montanari
Venue:TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (TOPLAS)
Citations:346 - 1 self