A Core Language for Rewriting (1998)

by E Visser, Z Benaissa
Venue:In Workshop on Rewriting Logic and Applications