![](/img/cover-not-exists.png)
Formal Correctness of a Quadratic Unification Algorithm
José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José HidalgoVolume:
37
Language:
english
Pages:
26
DOI:
10.1007/s10817-006-9030-5
Date:
August, 2006
File:
PDF, 359 KB
english, 2006