1. ANDERSON, R., Improved decision procedures for Lewis’s calculus S4 and von Wright’s calculus. J.S.L., Vol. 19, 3, (1953), pp. 101–214.
2. BAYART A., On truth-tables for M, B, S4 and S5. Logique et Analyse, Sept. 1970, pp. 335–375.
3. CARNAP, R., Modalities and quantification. J.S.L., vol. 11, 2, (1946), pp. 33–64.
4. CAVALLI, A.R., FARINAS DEL CERRO, L., Specification and verification of networks protocols using temporal logic. Proceedings of the Sixième Colloque International sur la programmation, Springer-Verlag, LNCS no 167, (1984).
5. CAVALLI, A.R., FARINAS DEL CERRO, L., Adecision method for linear temporal logic. Proceedings of the Seventh International Conference on Automata Deduction, Springer-Verlag, LNCS n° 170, (1984).