An Efficient Unification Algorithm
Published in ACM Transactions on Programming Languages and Systems • Apr 1, 1982
NobleIDNI1P12W88R68S45
Authors:,
Alberto Martelli
Ugo Montanari
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!