| 1995 | A Connection Based Proof Method for Intuitionistic Logic. Jens Otten |
| 1995 | Classical Lambek Logic. Jörg Hudelmaier, Peter Schroeder-Heister |
| 1995 | Constraint Model Elimination and a PTTP-Implementation. Peter Baumgartner, Frieder Stolzenburg |
| 1995 | Generating Finite Counter Examples with Semantic Tableaux. Stefan Klingenbeck |
| 1995 | Higher-Order Tableaux. Michael Kohlhase |
| 1995 | Issues in Theorem Proving Based on the Connection Method. Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath |
| 1995 | Labelled Tableaux for Multi-Modal Logics. Guido Governatori |
| 1995 | Linear Analytic Tableaux. Robert K. Meyer, Michael A. McRobbie, Nuel Belnap |
| 1995 | Linear Logic with Isabelle: Pruning the Proof Search Tree. Philippe de Groote |
| 1995 | Link Deletion in Model Elimination. Klaus Mayr |
| 1995 | MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool. Jeremy V. Pitt |
| 1995 | Model Building and Interactive Theory Discovery. Ricardo Caferra, Nicolas Peltier |
| 1995 | Non-elementary Speedups between Different Versions of Tableaux. Matthias Baaz, Christian G. Fermüller |
| 1995 | On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. Stephan Schmitt, Christoph Kreitz |
| 1995 | Propositional Logics on the Computer. Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried |
| 1995 | Refutation Systems for Propositional Modal Logics. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1995 | Rigid Eric de Kogel |
| 1995 | Semantic Tableaus for Inheritance Nets. Ingrid Neumann |
| 1995 | Specifications of Inference Rules and Their Automatic Translation. Gerd Neugebauer, Uwe Petermann |
| 1995 | Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. Ján Komara, Paul J. Voda |
| 1995 | Tableaux for Intuitionistic Predicate Logic as Metatheory. Judith L. Underwood |
| 1995 | Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings Peter Baumgartner, Reiner Hähnle, Joachim Posegga |
| 1995 | Using Connection Method in Modal Logics: Some Advantages. Stéphane Demri |
| 1995 | Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. Johann Schumann |