A core language for rewriting (1998)

by E Visser, Z-e-A Benaissa
Venue:Second International Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science 15