Similarity-based unification: a multi-adjoint approach | Publicación