R. Alonderis, “A labeled sequent calculus for propositional linear time logic”, LMR, vol. 53, no. A, pp. 1–6, Dec. 2012, doi: 10.15388/LMR.A.2012.01.