Nominal rewriting

Cached

Download Links

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