DMCA

An Efficient Unification Algorithm (1982)

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