Alonderis R.; Pliuškevičius R. Cut, invariant rule, and loop-check free sequent calculus for PLTL. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 231–236, 15 Dec. 2011.