Transformation techniques for contextsensitive rewrite systems (2004)

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