A Multi-Adjoint Approach to Similarity-Based Unification | Publicación