Context-sensitive rewriting strategies (2002)

by S Lucas
Venue:Information and Computation