The Emptiness Problem for Tree Automata with Global Constraints | Publicación