Nominal rewriting

Cached

Download Links

by Maribel Fernández , Murdoch J. Gabbay
Venue:Information and Computation
Citations:19 - 7 self