@dblp

A Multi-Adjoint Approach to Similarity-Based Unification.

, , and . UNCL@ICALP, volume 66 of Electronic Notes in Theoretical Computer Science, page 70-85. Elsevier, (2002)

Links and resources

Tags