Higher-Order Pattern Unification Modulo Similarity Relations

Open in new window