| 2007 | A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation. | Ekaterina Komendantskaya |
| 2007 | Tree-Sequent Methods for Subintuitionistic Predicate Logics. | Ryo Ishigaki, Kentaro Kikuchi |
| 2007 | EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. | Rajeev Gor, Linh Anh Nguyen |
| 2007 | The Neighbourhood of S0.9 and S1. | Roderic A. Girle |
| 2007 | KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. | Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2007 | Tableaux with Dynamic Filtration for Layered Modal Logics. | Olivier Gasquet, Bilal Said |
| 2007 | A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. | Linda Buisman, Rajeev Gor |
| 2007 | Tableau Systems for Logics of Subinterval Structures over Dense Orderings. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala |
| 2007 | Nonmonotonic Description Logics - Requirements, Theory, and Implementations. | Piero A. Bonatti |
| 2007 | Bounded Model Checking with Description Logic Reasoning. | Shoham Ben-David, Richard J. Trefler, Grant E. Weddell |
| 2007 | A Tableau Method for Public Announcement Logics. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2007 | Proof Theory for First Order Lukasiewicz Logic. | Matthias Baaz, George Metcalfe |
| 2007 | Axiom Pinpointing in General Tableaux. | Franz Baader, Rafael Pealoza |
| 2007 | Improvements to the Tableau Prover PITP. | Alessandro Avellone, Guido Fiorino, Ugo Moscato |
| 2005 | On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency. | Dan E. Willard |
| 2005 | A Decision Procedure for the Alternation-Free Two-Way Modal -Calculus. | Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya |
| 2005 | Automatic 'Descente Infinie' Induction Reasoning. | Sorin Stratulat |
| 2005 | Unit Propagation in a Tableau Framework. | Gernot Stenz |
| 2005 | Formal Versus Rigorous Mathematics: How to Get Your Papers Published. | Erik Rosenthal |
| 2005 | The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. | Thomas Raths, Jens Otten, Christoph Kreitz |
| 2005 | Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic. | Jens Otten |
| 2005 | CondLean 3.0: Improving CondLean for Stronger Conditional Logics. | Nicola Olivetti, Gian Luca Pozzato |
| 2005 | Automated Reasoning in the Context of the Semantic Web. | Hans Jrgen Ohlbach |
| 2005 | Efficient Query Processing with Compiled Knowledge Bases. | Neil V. Murray, Erik Rosenthal |
| 2005 | The Space Efficiency of OSHL. | Swaha Miller, David A. Plaisted |