Alonderis R. A labeled sequent calculus for propositional linear time logic. Lietuvos matematikos rinkinys, v. 53, n. A, p. 1–6, 15 Dec. 2012.