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