An Efficient Unification Algorithm (1982)

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