Alonderis, R., & Pliuškevičius, R. (2013). Sequent systems for PLTL. Lietuvos Matematikos Rinkinys, 54(A), 1–5. https://doi.org/10.15388/LMR.A.2013.03