ALONDERIS, R. A sequent calculus for propositional temporal logic with time gaps. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 225–230, 15 Dec.2011.