Alberto Martelli Ugo Montanari An Efficient Unification Algorithm. 258-282 1982 4 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/357162.357169 db/journals/toplas/toplas4.html#MartelliM82