Implicates and reduction techniques for temporal logics | Publicación