Nominal rewriting. (2007)

by Maribel Fernández, Murdoch J Gabbay
Venue:Information and Computation,