1. M. Baldoni. Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, Italy, 1998. Available at http://www.di.unito.it/~baldoni/ .
2. M. Baldoni. Normal Multimodal Logics with Interaction Axioms. In D. Basin, M. D’Agostino, D. M. Gabbay, S. Matthews, and L. Viganò, editors, Labelled Deduction, volume 17 of Applied Logic Series, pages 33–53. Applied Logic Series, Kluwer Academic Publisher, 2000.
3. Lect Notes Comput Sci;M. Baldoni,2001
4. M. Baldoni, C. Baroglio, and V. Patti. Structereless, Intention-guided Web Sites: Planning Based Adaptation. In Proc. 1st International Conference on Universal Access in Human-Computer Interaction, a track of HCI International 2001, New Orleans, LA, USA, 2001. Lawrence Erlbaum Associates. To appear.
5. M. Baldoni, L. Giordano, and A. Martelli. A Tableau Calculus for Multimodal Logics and Some (un)Decidability Results. In H. de Swart, editor, Proc. of TABLEAUX’98, volume 1397 of LNAI, pages 44–59. Springer-Verlag, 1998.