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.