Alonderis R., Pliuškevičius R. and Pliuškevičienė A. (2015) “Finite sequent calculi for PLTL”, Lietuvos matematikos rinkinys, 56(A), pp. 1–6. doi: 10.15388/LMR.A.2015.01.