Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting.

Jess Domnguez, Maribel Fernndez

Browse the full FCT paper archive.