An Efficient Unification Algorithm (1982)

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