Alonderis R., Pliuškevičius R., and Pliuškevičienė A. “Finite Sequent Calculi for PLTL”. Lietuvos Matematikos Rinkinys, Vol. 56, no. A, Dec. 2015, pp. 1–6, doi:10.15388/LMR.A.2015.01.