Florent Jacquemard Michaël Rusinowitch Laurent Vigneron Tree Automata with Equality Constraints Modulo Equational Theories. 557-571 2006 conf/cade/2006 IJCAR http://dx.doi.org/10.1007/11814771_45 db/conf/cade/ijcar2006.html#JacquemardRV06