Alonderis, R. and Pliuškevičius, R. (2011) “Cut, invariant rule, and loop-check free sequent calculus for PLTL”, Lietuvos matematikos rinkinys, 52(proc. LMS), pp. 231–236. doi:10.15388/LMR.2011.ml02.