R. Alonderis, R. Pliuškevičius, and A. Pliuškevičienė, “Finite sequent calculi for PLTL”, LMR, vol. 56, no. A, pp. 1–6, Dec. 2015, doi: 10.15388/LMR.A.2015.01.