Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming

Maribel Fernández

This volume contains selected papers presented at the 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS2009, which was held in Brasilia on the 28…