(1)
Alonderis R. A Labeled Sequent Calculus for Propositional Linear Time Logic. LMR 2012, 53, 1–6.