Transformation Techniques for Context-Sensitive Rewrite Systems (0)

by J Giesl, A Middeldorp
Venue:Journal of Functional Programming