Formal Correctness of a Quadratic Unification Algorithm | Publicación