Alonderis R.; Pliuškevičius R.; Pliuškevičienė A. Finite sequent calculi for PLTL. Lietuvos matematikos rinkinys, v. 56, n. A, p. 1–6, 15 Dec. 2015.