Florent Jacquemard Michaël Rusinowitch Laurent Vigneron Tree automata with equality constraints modulo equational theories. 182-208 2008 75 J. Log. Algebr. Program. 2 http://dx.doi.org/10.1016/j.jlap.2007.10.006 db/journals/jlp/jlp75.html#JacquemardRV08