| 2011 | Definite and Indefinite Descriptions. | Norbert Gratzl |
| 2011 | Constructive Realization in Justification Logics via Nested Sequents. | Remo Goetschi |
| 2011 | A Tableau Calculus for a Nonmonotonic Extension of | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2011 | A Conditional Constructive Logic for Access Control and Its Sequent Calculus. | Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2011 | First-Order Tableaux in Applications (Extended Abstract). | Ulrich Furbach |
| 2011 | The Modal | Oliver Friedmann, Martin Lange |
| 2011 | Nested Sequents and Prefixed Tableaus. | Melvin Fitting |
| 2011 | Unification in a Theory of Blind Signatures. | Serdar Erbatur, Christopher Lynch, Paliath Narendran |
| 2011 | On the Proof Complexity of Cut-Free Bounded Deep Inference. | Anupam Das |
| 2011 | Basic Constructive Connectives, Determinism and Matrix-Based Semantics. | Agata Ciabattoni, Ori Lahav, Anna Zamansky |
| 2011 | A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. | Serenella Cerrito, Marta Cialdea Mayer |
| 2011 | Craig Interpolation in Displayable Logics. | James Brotherston, Rajeev Gor |
| 2011 | Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2011 | Hybrid and First-Order Complete Extensions of CaRet. | Laura Bozzelli, Ruggero Lanotte |
| 2011 | On Interpolation in Decision Procedures. | Maria Paola Bonacina, Moa Johansson |
| 2011 | Kripke Semantics for Basic Sequent Systems. | Arnon Avron, Ori Lahav |
| 2011 | Generating Schemata of Resolution Proofs. | Vincent Aravantinos, Nicolas Peltier |
| 2011 | Schemata of SMT-Problems. | Vincent Aravantinos, Nicolas Peltier |
| 2011 | QMaxSAT version 0.3 & 0.4. | Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2011 | CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. | Rgis Alenda, Nicola Olivetti |
| 2011 | Dialogue Games for Classical Logic. | Jesse Alama, Aleks Knoks, Sara L. Uckelman |
| 2009 | On the Use of Automata for Deciding Linear Arithmetic. | Pierre Wolper |
| 2009 | Tableaux for Projection Computation and Knowledge Compilation. | Christoph Wernhard |
| 2009 | Automated Synthesis of Tableau Calculi. | Renate A. Schmidt, Dmitry Tishkovsky |
| 2009 | Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents. | Lus Pinto, Tarmo Uustalu |