Overlapping Leaf Permutative Equations.

Thierry Boy de la Tour, Mnacho Echenim

Browse the full CADE paper archive.