| 2013 | A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2013 | Compression of Propositional Resolution Proofs by Lowering Subproofs. | Joseph Boudou, Bruno Woltzenlogel Paleo |
| 2013 | Bounded Proofs and Step Frames. | Nick Bezhanishvili, Silvio Ghilardi |
| 2013 | Witness Runs for Counter Machines - (Abstract). | Clark W. Barrett, Stphane Demri, Morgan Deters |
| 2013 | Dealing with Symmetries in Modal Tableaux. | Carlos Areces, Ezequiel Orbe |
| 2013 | Tableaux for Verification of Data-Centric Processes. | Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish |
| 2011 | MaLeCoP Machine Learning Connection Prover. | Josef Urban, Jir Vyskocil, Petr Stepnek |
| 2011 | On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. | Alwen Tiu |
| 2011 | A Hypersequent System for Gdel-Dummett Logic with Non-constant Domains. | Alwen Tiu |
| 2011 | METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
| 2011 | Proof Theory and Algebra in Substructural Logics. | Kazushige Terui |
| 2011 | Introduction to Proof Nets. | Lutz Straburger |
| 2011 | Some Remarks on Nested Sequent Systems for Modal Logics. | Lutz Straburger |
| 2011 | Sequent Calculus for Justifications. | Yury Savateev |
| 2011 | Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. | Christophe Ringeissen, Valerio Senni |
| 2011 | Implementing and Evaluating Theorem Provers for First-Order Modal Logics. | Thomas Raths, Jens Otten |
| 2011 | A Symmetric Natural Deduction. | Michel Parigot |
| 2011 | A Non-clausal Connection Calculus. | Jens Otten |
| 2011 | A Dynamic Programming Algorithm for Prime Implicates. | Andrew Matusiewicz |
| 2011 | Cut Elimination for Shallow Modal Logics. | Bjrn Lellmann, Dirk Pattinson |
| 2011 | Tableaux(-like) Methods for the Satisfiability Problems of Temporal Logics. | Martin Lange |
| 2011 | Monitoring First-order Temporal Properties. | Felix Klaedtke |
| 2011 | Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. | Mark Kaminski, Thomas Schneider, Gert Smolka |
| 2011 | Incremental Variable Splitting. | Christian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen |
| 2011 | A Tentative Atomic Calculus for Natural Deduction. | Tom Gundersen, Michel Parigot |