Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics | Publicación