1. M. Fitting, Proof Methods for Modal and Intuitionistic Logics, Reidel Publishing Company, Dordrecht, 1983.
2. M. Fitting, Basic modal logic, in D.M. Gabbay, J. Hogger, and J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1, Oxford University Press, Inc., New York, 1993, pp. 365–448.
3. G. Governatori, A duplication and loop checking free system for S4, in P. Miglioli, U. Moscato, D. Mundici, and M. Ornaghi (Eds.), Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods (Short Papers), Terrassini, Italy, 1996, pp. 19–32.
4. J. Hudelmaier, On a contraction free sequent calculus for the modal logic S4, in K. Broda, M. D’Agostino, R. Goré, R. Johnson, and S. Reeves (Eds.), Proceedings of the Third Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Imperial College, London, 1994, pp. 105–112.
5. S. Kanger, Provability in Logic, Almgvist & Wiksell, Stockholm, 1957.