María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi. A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation. ACM,
Abstract is missing.