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