Higher-Order Pattern Unification Modulo Similarity Relations.

Besik Dundua, Temur Kutsia

Browse the full LOPSTR paper archive.