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