Canonical Narrowing for Variant-Based Conditional Rewrite Theories | Publicación