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.
BibTeX
@proceedings{WRS2008,
editor = "Aart Middeldorp",
title = "Proceedings of the 8th International Workshop on Reduction
Strategies in Rewriting and Programming (WRS 2008)",
publisher = "Elsevier",
series = "Electronic Notes in Theoretical Computer Science",
volume = 237,
pages = "1--216",
year = 2009
}