Tree Automata with Equality Constraints Modulo Equational Theories.

Florent Jacquemard, Michal Rusinowitch, Laurent Vigneron

Browse the full CADE paper archive.