| 1998 | A Tableau Method for Interval Temporal Logic with Projection. | Howard Bowman, Simon J. Thompson |
| 1998 | A Tableau Calculus for Quantifier-Free Set Theoretic Formulae. | Bernhard Beckert, Ulrike Hartmer |
| 1998 | Fibring Semantic Tableaux. | Bernhard Beckert, Dov M. Gabbay |
| 1998 | leanK 2.0. | Bernhard Beckert, Rajeev Gor |
| 1998 | Hyper Tableau - The Next Generation. | Peter Baumgartner |
| 1998 | Logics Workbench 1.0. | Peter Balsiger, Alain Heuerding, Stefan Schwendimann |
| 1998 | Comparison of Theorem Provers for Modal Logics - Introduction and Summary. | Peter Balsiger, Alain Heuerding |
| 1998 | A Tableau for Multimodal Logics and Some (Un)Decidability Results. | Matteo Baldoni, Laura Giordano, Alberto Martelli |
| 1997 | Tableaux for Functional Dependencies and Independencies. | Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode |
| 1997 | A Sequent Calculus for Reasoning in Four-Valued Description Logics. | Umberto Straccia |
| 1997 | A Framework for Using Knowledge in Tableau Proofs. | Benjamin Shults |
| 1997 | Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models. | Nicolas Peltier |
| 1997 | ileanTAP: An Intuitionistic Theorem Prover. | Jens Otten |
| 1997 | A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. | Peter Niebert, Barbara Sprick |
| 1997 | Three Faces of Natural Deduction. | Grigori Mints |
| 1997 | Tableau Methods for PA-Processes. | Richard Mayr |
| 1997 | Proving Correctness of Labled Transition Systems by Semantic Tableaux. | Wolfgang May |
| 1997 | Tableaux Methods for Access Control in Distributed Systems. | Fabio Massacci |
| 1997 | On Quasitautologies. | Jn Komara, Paul J. Voda |
| 1997 | Projection: A Unification Procedure for Tableaux in Conceptual Graphs. | Gwen Kerdiles |
| 1997 | Subgoal Alternation in Model Elimination. | Ortrun Ibens, Reinhold Letz |
| 1997 | Two Loop Detection Mechanisms: A Comparision. | Jacob M. Howe |
| 1997 | MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. | Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 1997 | Ordered Tableaux: Extensions and Applications. | Reiner Hhnle, Christian Pape |
| 1997 | Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi. | Uwe Egly |