A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic | Publicación