A Multi-Adjoint Approach to Similarity-Based Unification

Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás. A Multi-Adjoint Approach to Similarity-Based Unification. Electronic Notes in Theoretical Computer Science, 66(5):70-85, 2002. [doi]

Abstract

Abstract is missing.