1. Preface

   • Bernhard Beckert
   • Lawrence C. Paulson

   OriginalPaper 14 February 2007 Pages: 1 - 2

2. Liberalized Variable Splitting

   • Roger Antonsen
   • Arild Waaler

   OriginalPaper 04 January 2007 Pages: 3 - 30

3. A Sound Framework for δ-Rule Variants in Free-Variable Semantic Tableaux

   • Domenico Cantone
   • Marianna Nicolosi-Asmundo

   OriginalPaper 02 December 2006 Pages: 31 - 56

4. Comparing Instance Generation Methods for Automated Reasoning

   • Swen Jacobs
   • Uwe Waldmann

   OriginalPaper 16 December 2006 Pages: 57 - 78

5. The Disconnection Tableau Calculus

   • Reinhold Letz
   • Gernot Stenz

   OriginalPaper 02 December 2006 Pages: 79 - 126

6. Superposition-based Equality Handling for Analytic Tableaux

   • Martin Giese

   OriginalPaper 02 December 2006 Pages: 127 - 153

7. Efficient Query Processing with Reduced Implicate Tries

   • Neil V. Murray
   • Erik Rosenthal

   OriginalPaper 02 December 2006 Pages: 155 - 172

8. An Optimal Decision Procedure for Right Propositional Neighborhood Logic

   • Davide Bresolin
   • Angelo Montanari
   • Guido Sciavicco

   OriginalPaper 02 December 2006 Pages: 173 - 199

9. Graph-based Decision for Gödel-Dummett Logics

   • Dominique Larchey-Wendling

   OriginalPaper 01 December 2006 Pages: 201 - 225

10. A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes

    • Carsten Lutz
    • Maja Miličić

    OriginalPaper 06 December 2006 Pages: 227 - 259

11. The ILTP Problem Library for Intuitionistic Logic

    • Thomas Raths
    • Jens Otten
    • Christoph Kreitz

    OriginalPaper 20 February 2007 Pages: 261 - 271