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