| 1997 | A Fast Saturation Strategy for Set-Theoretic Tableaux. Domenico Cantone |
| 1997 | A Framework for Using Knowledge in Tableau Proofs. Benjamin Shults |
| 1997 | A Sequent Calculus for Reasoning in Four-Valued Description Logics. Umberto Straccia |
| 1997 | A Sequent Calculus for Skeptical Default Logic. Piero A. Bonatti, Nicola Olivetti |
| 1997 | A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. Peter Niebert, Barbara Sprick |
| 1997 | Automated Natural Deduction Prover and Experiments. Li Dafa |
| 1997 | Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings Didier Galmiche |
| 1997 | Free Variable Tableaux for Propositional Modal Logics. Bernhard Beckert, Rajeev Goré |
| 1997 | Generalized Tableau Systems for Intemediate Propositional Logics. Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1997 | Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. Serenella Cerrito, Marta Cialdea Mayer |
| 1997 | Lean Induction Principles for Tableaux. Matthias Baaz, Uwe Egly, Christian G. Fermüller |
| 1997 | MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 1997 | Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi. Uwe Egly |
| 1997 | On Quasitautologies. Ján Komara, Paul J. Voda |
| 1997 | Ordered Tableaux: Extensions and Applications. Reiner Hähnle, Christian Pape |
| 1997 | Projection: A Unification Procedure for Tableaux in Conceptual Graphs. Gwen Kerdiles |
| 1997 | Proving Correctness of Labled Transition Systems by Semantic Tableaux. Wolfgang May |
| 1997 | Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models. Nicolas Peltier |
| 1997 | Subgoal Alternation in Model Elimination. Ortrun Ibens, Reinhold Letz |
| 1997 | Tableau Methods for PA-Processes. Richard Mayr |
| 1997 | Tableaux Methods for Access Control in Distributed Systems. Fabio Massacci |
| 1997 | Tableaux for Diagnosis Applications. Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl |
| 1997 | Tableaux for Functional Dependencies and Independencies. Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode |
| 1997 | Tableaux for Logic Programming with Strong Negation. Seiki Akama |
| 1997 | Three Faces of Natural Deduction. Grigori Mints |
| 1997 | Two Loop Detection Mechanisms: A Comparision. Jacob M. Howe |
| 1997 | ileanTAP: An Intuitionistic Theorem Prover. Jens Otten |