| 2005 | Pdk: The System and Its Language. | Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni |
| 2005 | A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. | Carsten Lutz, Maja Milicic |
| 2005 | A Redundancy Analysis of Sequent Proofs. | Tatjana Lutovac, James Harland |
| 2005 | A Tableau-Based Explainer for DL Subsumption. | Thorsten Liebig, Michael Halfmann |
| 2005 | An Order-Sorted Quantified Modal Logic for Meta-ontology. | Ken Kaneiwa, Riichiro Mizoguchi |
| 2005 | Comparing Instance Generation Methods for Automated Reasoning. | Swen Jacobs, Uwe Waldmann |
| 2005 | Description Logics in Ontology Applications. | Ian Horrocks |
| 2005 | A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. | Rajeev Gor, Linh Anh Nguyen |
| 2005 | A Calculus for Type Predicates and Type Coercion. | Martin Giese |
| 2005 | Embedding Static Analysis into Tableaux and Sequent Based Frameworks. | Tobias Gedell |
| 2005 | LoTREC: Logical Tableaux Research Engineering Companion. | Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade |
| 2005 | Proof Output and Transformation for Disconnection Tableaux. | Philipp Correll, Gernot Stenz |
| 2005 | A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. | Domenico Cantone, Calogero G. Zarba |
| 2005 | Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach. | Diego Calvanese |
| 2005 | Cyclic Proofs for First-Order Logic with Inductive Definitions. | James Brotherston |
| 2005 | A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. | Davide Bresolin, Angelo Montanari |
| 2005 | On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. | Serge Autexier |
| 2005 | Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. | Roger Antonsen, Arild Waaler |
| 2003 | A Free Variable Sequent Calculus with Uniform Variable Splitting. | Arild Waaler, Roger Antonsen |
| 2003 | Automatic Abstraction of Equations in a Logic of Equality. | Miroslav N. Velev |
| 2003 | Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. | Johann Schumann |
| 2003 | A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models. | Nicolas Peltier |
| 2003 | CondLean: A Theorem Prover for Conditional Logics. | Nicola Olivetti, Gian Luca Pozzato |
| 2003 | SOLAR: A Consequence Finding System for Advanced Reasoning. | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
| 2003 | Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. | Neil V. Murray, Erik Rosenthal |