Reduction of Nondeterministic Tree Automata.

Ricardo Almeida, Luks Holk, Richard Mayr

Browse the full TACAS paper archive.