8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008)

Aart Middeldorp (ed.)
special issue, Electronic Notes in Theoretical Computer Science 237, pp. 1 – 126, 2009