Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings - Olivetti, Nicola (Springer Berlin Heidelberg, 2007)