Alonderis, R. A Labeled Sequent Calculus for Propositional Linear Time Logic. LMR 2012, 53 (A), 1–6. https://doi.org/10.15388/LMR.A.2012.01.