Deciding nondeterministic hierarchy of deterministic tree automata. (2005)

by D Niwinski, I Walukiewicz
Venue:Electr. Notes Theor. Comput. Sci.,