A Decidable Intuitionistic Temporal Logic | Publicación