Equality and Disequality Constraints on Direct Subterms in Tree Automata. - Bruno Bogaert; Sophie Tison (STACS, 1992)

The Recognizability Problem for Tree Automata with Comparisons between Brothers. - Bruno Bogaert; Franck Seynhaeve; Sophie Tison (FoSSaCS, 1999)