1. Boretti, B.: Proof Analysis in Temporal Logic, Ph.D. Thesis, Univ. of Milan (2008)
2. Boretti, B., Negri, S.: On the finitization of Priorean linear time. In: SILFS 2007. Proceedings of the International Conference of the Italian Society for Logic and Philosophy of Science. College Publications (in press, 2009)
3. Brotherston, J., Simpson, A.: Complete sequent calculi for induction and infinite descent. In: LICS 2007. Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science, pp. 51–62. IEEE Computer Society, Washington (2007)
4. Brünnler, K., Lange, M.: Cut-free sequent systems for temporal logic. Journal of Logic and Algebraic Programming 76, 216–225 (2008)
5. Coquand, T.: Decidability Proof of LTL (unpublished note, 2007),
http://www.cs.chalmers.se/~coquand/LOGIC/ltl.pdf