@Proceedings{wrs01, title = {Proc.\ International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)}, year = 2001, editor = {Bernhard Gramlich and Salvador Lucas}, volume = {SPUPV 2359}, address = {Utrecht, The Netherlands}, month = may, publisher = {Servicio de Publicaciones - Universidad Polit{\'e}cnica de Valencia}, annote = {187 pages} }
@Proceedings{wrs01-entcs57, title = {1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)}, year = 2001, editor = {Bernhard Gramlich and Salvador Lucas}, volume = 57, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier Science Publishers} }