L., G. V., and P. Giordano. Proceedings of TABLEAUX 2007 (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), volume 4548 of LNAI, page 238--244. Aix En Provence, France, Springer-Verlag, (July 2007)
N. Olivetti, and G. Pozzato. Proceedings of TABLEAUX 2005 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 3702 of LNAI, page 328--332. Koblenz, Germany, Springer-Verlag, (September 2005)
N. Olivetti, and G. Pozzato. Proceedings of TABLEAUX 2003 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 2796 of LNAI, page 264--270. Roma, Italy, Springer, (September 2003)