(1)
Alonderis R.; Pliuškevičius R.; Pliuškevičienė A. Finite Sequent Calculi for PLTL. LMR 2015, 56, 1–6.