| 1999 | Merge Path Improvements for Minimal Model Hyper Tableaux. | Peter Baumgartner, Joseph Douglas Horton, Bruce Spencer |
| 1999 | Analytic Calculi for Projective Logics. | Matthias Baaz, Christian G. Fermller |
| 1998 | p-SETHEO: Strategy Parallelism in Automated Theorem Proving. | Andreas Wolf |
| 1998 | Decision Procedures for Intuitionistic Propositional Logic by Program Extraction. | Klaus Weich |
| 1998 | Implementation of Proof Search in the Imperative Programming Language Pizza. | Christian Urban |
| 1998 | A New One-Pass Tableau Calculus for PLTL. | Stefan Schwendimann |
| 1998 | Deleting Redundancy in Proof Reconstruction. | Stephan Schmitt, Christoph Kreitz |
| 1998 | Benchmark Evaluation of Square-KE. | Jeremy V. Pitt |
| 1998 | From Kripke Models to Algebraic Counter-Valuations. | Sara Negri, Jan von Plato |
| 1998 | A Tableaux Calculus for Ambiguous Quantification. | Christof Monz, Maarten de Rijke |
| 1998 | Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux. | Fabio Massacci |
| 1998 | Free Variable Tableaux for a Logic with Term Declarations. | Pedro J. Martn, Antonio Gavilanes, Javier Leach |
| 1998 | Prover KT4. | Michel Levy |
| 1998 | Computer Programming as Mathematics in a Programming Language and Proof System CL. | Jn Komara, Paul J. Voda |
| 1998 | Implementation of Propositional Temporal Logics Using BDDs. | G. L. J. M. Janssen |
| 1998 | Simplification and Backjumping in Modal Tableau. | Ullrich Hustadt, Renate A. Schmidt |
| 1998 | FaCT and DLP. | Ian Horrocks, Peter F. Patel-Schneider |
| 1998 | The FaCT System. | Ian Horrocks |
| 1998 | Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. | Reiner Hhnle, Neil V. Murray, Erik Rosenthal |
| 1998 | Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. | Christian G. Fermller, Herbert Langsteiner |
| 1998 | On Proof Complexity of Circumscription. | Uwe Egly, Hans Tompits |
| 1998 | Model Checking: Historical Perspective and Example (Extended Abstract). | Edmund M. Clarke, Sergey Berezin |
| 1998 | Bounded Model Search in Linear Temporal Logic and Its Application to Planning. | Serenella Cerrito, Marta Cialdea Mayer |
| 1998 | A Science of Reasoning (Extended Abstract). | Alan Bundy |
| 1998 | Philosophical Aspects of Computerized Verification of Mathematics. | N. G. de Bruijn |