Variant Narrowing and Equational Unification | Publicación