Aart Middeldorp, editor, Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July 14, 2008. Volume 237 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009. [doi]
Conference: wrs2009
Abstract is missing.