A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations | Publicación