Tree automata with constraints and tree homomorphisms | Publicación