Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming

Santiago Escobar Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming WRS http://dx.doi.org/10.4204/EPTCS.82 2011 EPTCS 82 db/series/eptcs/eptcs82.html