About the Confluence of Equational Pattern Rewrite Systems.

Alexandre Boudet, Evelyne Contejean

Browse the full CADE paper archive.