Nominal Completion for Rewrite Systems with Binders.

Maribel Fernndez, Albert Rubio

Browse the full ICALP paper archive.