Fusing Logic and Control with Local Transformations: An Example Optimization (2001)

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