Implicates and Reduction Techniques for Temporal Logics | Publicación