Jürgen Giesl: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007. Electronic Notes in Theoretical Computer Science 204, Elsevier 2008