Canonical Narrowing for Variant-Based Conditional Rewrite Theories.

Ral Lpez-Rueda, Santiago Escobar

Browse the full ICFEM paper archive.