A survey of rewriting strategies in program transformation systems (2001)

by Eelco Visser
Venue:on Reduction Strategies in Rewriting and Programming (WRS’01), volume 57 ofElectronic Notes in Theoretical Computer Science