Nominal rewriting with name generation: abstraction vs. locality.

Maribel Fernndez, Murdoch Gabbay

Browse the full PPDP paper archive.