Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints | Publicación