Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings - Cialdea Mayer, Marta, 1956-; Pirri, Fiora, Dr (Lecture notes in computer science ;, 2003)