A Gödel Calculus for Linear Temporal Logic | Publicación