Alonderis, Romas, and Regimantas Pliuškevičius. 2013. “Sequent Systems for PLTL”. Lietuvos Matematikos Rinkinys 54 (A): 1–5. https://doi.org/10.15388/LMR.A.2013.03.