1. Y. Auffray, P. Enjalbert, and J-J. Herbrard. Strategies for modal resolution: results and problems. Journal of Automated Reasoning, 6:1–38, 1990.
2. L. Catach. TABLEAUX: A General Theorem Prover for Modal Logics. Journal of Automated Reasoning, 7:489–510, 1991.
3. R. Caferra and S. Demri. Cooperation between direct method and translation method in non classical logics: some results in propositional S5. In IJCAI-13, pages 74–79, 1993.
4. R. Caferra, S. Demri, and M. Herment. A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. Studia Logica, 52(2):197–232, 1993.
5. R. Caferra and M. Herment. GLEFATINF: a graphic framework for combining theorem provers and editing proofs for different logics. In A. Miola, editor, DISCO'93, pages 229–240. Springer-Verlag, LNCS 722, 1993.