A Core Language for Rewriting (1998)

by Eelco Visser, Zine-el-abidine Benaissa
Venue:Electronic Notes in Theoretical Computer Science