Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings - Cialdea Mayer, Marta; Cialdea Mayer, Marta; Pirri, Fiora; Pirri, Fiora (Springer Berlin Heidelberg : Imprint: Springer, 2003)