| 1996 | Combining Many-valued and Intuitionistic Tableaux. | Matthias Baaz, Christian G. Fermller |
| 1996 | Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. | Alessandro Avellone, Mauro Ferrari |
| 1996 | On Sets, Types, Fixed Points, and Checkerboards. | Peter B. Andrews, Matthew Bishop |
| 1996 | Interpolation for a Sequent Calculus of Generalized Quantifiers. | Natasha Alechina |
| 1995 | Tableaux for Intuitionistic Predicate Logic as Metatheory. | Judith L. Underwood |
| 1995 | Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. | Johann Schumann |
| 1995 | On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. | Stephan Schmitt, Christoph Kreitz |
| 1995 | MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool. | Jeremy V. Pitt |
| 1995 | A Connection Based Proof Method for Intuitionistic Logic. | Jens Otten |
| 1995 | Semantic Tableaus for Inheritance Nets. | Ingrid Neumann |
| 1995 | Specifications of Inference Rules and Their Automatic Translation. | Gerd Neugebauer, Uwe Petermann |
| 1995 | Refutation Systems for Propositional Modal Logics. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1995 | Linear Analytic Tableaux. | Robert K. Meyer, Michael A. McRobbie, Nuel Belnap |
| 1995 | Link Deletion in Model Elimination. | Klaus Mayr |
| 1995 | Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. | Jn Komara, Paul J. Voda |
| 1995 | Higher-Order Tableaux. | Michael Kohlhase |
| 1995 | Rigid | Eric de Kogel |
| 1995 | Generating Finite Counter Examples with Semantic Tableaux. | Stefan Klingenbeck |
| 1995 | Classical Lambek Logic. | Jrg Hudelmaier, Peter Schroeder-Heister |
| 1995 | Propositional Logics on the Computer. | Alain Heuerding, Gerhard Jger, Stefan Schwendimann, Michael Seyfried |
| 1995 | Linear Logic with Isabelle: Pruning the Proof Search Tree. | Philippe de Groote |
| 1995 | Labelled Tableaux for Multi-Modal Logics. | Guido Governatori |
| 1995 | Using Connection Method in Modal Logics: Some Advantages. | Stphane Demri |
| 1995 | Model Building and Interactive Theory Discovery. | Ricardo Caferra, Nicolas Peltier |
| 1995 | Issues in Theorem Proving Based on the Connection Method. | Wolfgang Bibel, Stefan Brning, Uwe Egly, Daniel S. Korn, Thomas Rath |