Tree automata with equality constraints modulo equational theories (0)

by F Jacquemard, M Rusinowitch, L Vigneron
Venue:In Automated Reasoning, Third International Joint Conference, IJCAR 2006