Unification and Matching Modulo Leaf-Permutative Equational Presentations.

Thierry Boy de la Tour, Mnacho Echenim, Paliath Narendran

Browse the full CADE paper archive.