Automated reasoning with analytic tableaux and related methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 ; proceedings (Springer, 2007)