How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata | Publicación