Nominal rewriting systems.

Maribel Fernndez, Murdoch Gabbay, Ian Mackie

Browse the full PPDP paper archive.