Strategic Rewriting
Claude Kirchner · Electronic Notes in Theoretical Computer Science · 2005
This is a position paper preparing the round table organized during the 4th International Workshop on Reduction Strategies in Rewriting and Programming. I sketch what I believe to be important challenges of strategic rewriting.