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