The Recognizability Problem for Tree Automata with Comparisons between Brothers.

Bruno Bogaert, Franck Seynhaeve, Sophie Tison

Browse the full FOSSACS paper archive.