| 1998 | A New One-Pass Tableau Calculus for PLTL. Stefan Schwendimann |
| 1998 | A Science of Reasoning (Extended Abstract). Alan Bundy |
| 1998 | A Tableau Calculus for Quantifier-Free Set Theoretic Formulae. Bernhard Beckert, Ulrike Hartmer |
| 1998 | A Tableau Method for Interval Temporal Logic with Projection. Howard Bowman, Simon J. Thompson |
| 1998 | A Tableau for Multimodal Logics and Some (Un)Decidability Results. Matteo Baldoni, Laura Giordano, Alberto Martelli |
| 1998 | A Tableaux Calculus for Ambiguous Quantification. Christof Monz, Maarten de Rijke |
| 1998 | Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings Harrie C. M. de Swart |
| 1998 | Benchmark Evaluation of Square-KE. Jeremy V. Pitt |
| 1998 | Bounded Model Search in Linear Temporal Logic and Its Application to Planning. Serenella Cerrito, Marta Cialdea Mayer |
| 1998 | Comparison of Theorem Provers for Modal Logics - Introduction and Summary. Peter Balsiger, Alain Heuerding |
| 1998 | Computer Programming as Mathematics in a Programming Language and Proof System CL. Ján Komara, Paul J. Voda |
| 1998 | Decision Procedures for Intuitionistic Propositional Logic by Program Extraction. Klaus Weich |
| 1998 | Deleting Redundancy in Proof Reconstruction. Stephan Schmitt, Christoph Kreitz |
| 1998 | FaCT and DLP. Ian Horrocks, Peter F. Patel-Schneider |
| 1998 | Fibring Semantic Tableaux. Bernhard Beckert, Dov M. Gabbay |
| 1998 | Free Variable Tableaux for a Logic with Term Declarations. Pedro J. Martín, Antonio Gavilanes, Javier Leach |
| 1998 | From Kripke Models to Algebraic Counter-Valuations. Sara Negri, Jan von Plato |
| 1998 | Hyper Tableau - The Next Generation. Peter Baumgartner |
| 1998 | Implementation of Proof Search in the Imperative Programming Language Pizza. Christian Urban |
| 1998 | Implementation of Propositional Temporal Logics Using BDDs. G. L. J. M. Janssen |
| 1998 | Logics Workbench 1.0. Peter Balsiger, Alain Heuerding, Stefan Schwendimann |
| 1998 | Model Checking: Historical Perspective and Example (Extended Abstract). Edmund M. Clarke, Sergey Berezin |
| 1998 | On Proof Complexity of Circumscription. Uwe Egly, Hans Tompits |
| 1998 | Philosophical Aspects of Computerized Verification of Mathematics. N. G. de Bruijn |
| 1998 | Prover KT4. Michel Levy |
| 1998 | Simplification and Backjumping in Modal Tableau. Ullrich Hustadt, Renate A. Schmidt |
| 1998 | Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux. Fabio Massacci |
| 1998 | Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
| 1998 | Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. Christian G. Fermüller, Herbert Langsteiner |
| 1998 | The FaCT System. Ian Horrocks |
| 1998 | leanK 2.0. Bernhard Beckert, Rajeev Goré |
| 1998 | p-SETHEO: Strategy Parallelism in Automated Theorem Proving. Andreas Wolf |