Nicola Olivetti Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings TABLEAUX Lecture Notes in Computer Science 4548 Springer 2007 978-3-540-73098-9 db/conf/tableaux/tableaux2007.html