| 1996 | A Simple Tableau System for the Logic of Elsewhere. Stéphane Demri |
| 1996 | A Tableau Calculus for Minimal Model Reasoning. Ilkka Niemelä |
| 1996 | A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. Michael Mendler |
| 1996 | Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. Alessandro Avellone, Mauro Ferrari |
| 1996 | Combining Many-valued and Intuitionistic Tableaux. Matthias Baaz, Christian G. Fermüller |
| 1996 | Cyclic Connections. Gérard Becher |
| 1996 | Distributed Modal Theorem Proving with KE. Jeremy V. Pitt, Jim Cunningham |
| 1996 | Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. Alain Heuerding, Michael Seyfried, Heinrich Zimmermann |
| 1996 | Fibred Tableaux for Multi-Implication Logic. Marcello D'Agostino, Dov M. Gabbay |
| 1996 | Incremental Theory Reasoning Methods for Semantic Tableaux. Bernhard Beckert, Christian Pape |
| 1996 | Interpolation for a Sequent Calculus of Generalized Quantifiers. Natasha Alechina |
| 1996 | Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. François Bry, Adnan H. Yahya |
| 1996 | On Sets, Types, Fixed Points, and Checkerboards. Peter B. Andrews, Matthew Bishop |
| 1996 | On the Intuitionistic Force of Classical Search (Extended Abstract). Eike Ritter, David J. Pym, Lincoln A. Wallen |
| 1996 | Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction. Andrei Voronkov |
| 1996 | Sequent Calculi for Default and Autoepistemic Logics. Piero A. Bonatti |
| 1996 | Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison. Bertram Fronhöfer |
| 1996 | Strong Normalization for All-Style LK. Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco |
| 1996 | T-String Unification: Unifying Prefixes in Non-classical Proof Methods. Jens Otten, Christoph Kreitz |
| 1996 | The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework. Jean-Paul Billon |
| 1996 | Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi |