A Completion Procedure for Equational Rewriting Systems with Binders.

Maribel Fernndez, Daniele Nantes-Sobrinho, Daniella Santaguida

Browse the full LOPSTR paper archive.