Alonderis, R.; Pliuškevičius, R.; Pliuškevičienė, A. Finite Sequent Calculi for PLTL. LMR 2015, 56 (A), 1–6. https://doi.org/10.15388/LMR.A.2015.01.