Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings - TABLEAUX 2007 (2007 : Aix en Provence, France); Olivetti, Nicola; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Automatic theorem proving -- Congresses