Alonderis, R., Pliuškevičius, R., & Pliuškevičienė, A. (2015). Finite sequent calculi for PLTL. Lietuvos Matematikos Rinkinys, 56(A), 1–6. https://doi.org/10.15388/LMR.A.2015.01