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