Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Marta Cialdea Mayer Fiora Pirri Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings TABLEAUX Lecture Notes in Computer Science 2796 Springer 2003 3-540-40787-1 db/conf/tableaux/tableaux2003.html