| 2003 | XPath and Modal Logics of Finite DAG's. | Maarten Marx |
| 2003 | A Tableau Algorithm for Reasoning about Concepts and Similarity. | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2003 | Universal Variables in Disconnection Tableaux. | Reinhold Letz, Gernot Stenz |
| 2003 | Fair Constraint Merging Tableaux in Lazy Functional Programming Style. | Reiner Hhnle, Niklas Srensson |
| 2003 | A General Tableau Method for Propositional Interval Temporal Logics. | Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2003 | Tableau Calculi for Preference-Based Conditional Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind |
| 2003 | Simplification Rules for Constrained Formula Tableaux. | Martin Giese |
| 2003 | Parallel Dialogue Games and Hypersequents for Intermediate Logics. | Christian G. Fermller |
| 2003 | Dynamical Method in Algebra: A Survey. | Thierry Coquand |
| 2003 | Bounded Lukasiewicz Logics. | Agata Ciabattoni, George Metcalfe |
| 2003 | A Labelled Sequent-Calculus for Observation Logic. | Olivier Brunet |
| 2003 | Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. | Frank M. Brown |
| 2003 | Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. | Frank M. Brown |
| 2003 | Tableaux with Four Signs as a Unified Framework. | Arnon Avron |
| 2003 | Non Commutative Logic: A Survey. | V. Michele Abrusci |
| 2003 | The Tableaux Work Bench. | Pietro Abate, Rajeev Gor |
| 2002 | A Tableau Calculus for Combining Non-disjoint Theories. | Calogero G. Zarba |
| 2002 | A New Indefinite Semantics for Hilbert's Epsilon. | Claus-Peter Wirth |
| 2002 | Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem. | Dan E. Willard |
| 2002 | A General Theorem Prover for Quantified Modal Logics. | Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer |
| 2002 | DCTP 1.2 - System Abstract. | Gernot Stenz |
| 2002 | On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. | Viorica Sofronie-Stokkermans |
| 2002 | A Confluent Theory Connection Calculus. | Uwe Petermann |
| 2002 | Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. | Linh Anh Nguyen |
| 2002 | Using Linear Logic to Reason about Sequent Systems. | Dale Miller, Elaine Pimentel |