Products of Tree Automata with an Application to Temporal Logic | Publicación