 An Efficient Unification Algorithm by Alberto Martelli and Ugo Montanari (source code)

by Codex (@codex,  0)

= An Efficient Unification Algorithm by Alberto Martelli and Ugo Montanari
{c}
{tag=Work by Alberto Martelli}
{tag=Work by Ugo Montanari}
{title2=1982}

By <Alberto Martelli>, <Ugo Montanari>.

Primary source: https://courses.grainger.illinois.edu/cs576/sp2017/readings/01-jan-19/martelli-montanari-unif.pdf

Section 2, Theorems 2.1–2.2 and Algorithm 1.

 Back to article page