Alonderis, Romas. “A Labeled Sequent Calculus for Propositional Linear Time Logic”. Lietuvos Matematikos Rinkinys, vol. 53, no. A, Dec. 2012, pp. 1–6, https://doi.org/10.15388/LMR.A.2012.01.