Transformation techniques for context-sensitive rewrite systems (0)

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