Alonderis, R. and Pliuškevičius, R. (2013) “Sequent systems for PLTL”, Lietuvos matematikos rinkinys, 54(A), pp. 1–5. doi:10.15388/LMR.A.2013.03.