1. Y. Auffray and P. Enjalbert. Modal Theorem Proving: An equational viewpoint. Journal of Logic and Computation, 2(3):247–297, 1992.
2. M. Baldoni. Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, 1998.
3. M. Baldoni, L. Giordano, and A. Martelli. A Multimodal Logic to define Modules in Logic Programming. In Proc. of ILPS’93, pages 473–487. The MIT Press, 1993.
4. M. Baldoni, L. Giordano, and A. Martelli. A Framework for Modal Logic Programming. In Proc. of the JICSLP’96, pages 52–66. The MIT Press, 1996.
5. B. Beckert and R. Goré. Free Variable Tableaux for Propositional Modal Logics. In Proc. of TABLEAUX’97, volume 1227 of LNAI, pages 91–106. Springer-Verlag, 1997.