Context-sensitive rewriting strategies (2002)

by S Lucas
Venue:Inf. Comput