[1]
Alonderis R., “A labeled sequent calculus for propositional linear time logic”, LMR, vol. 53, no. A, pp. 1–6, Dec. 2012.