| 1999 | A Simple Sequent System for First-Order Logic with Free Constructors. Jean Goubault-Larrecq |
| 1999 | A Tableau Calculus for Pronoun Resolution. Christof Monz, Maarten de Rijke |
| 1999 | A Tableau Calculus for a Temporal Logic with Temporal Connectives. Wolfgang May |
| 1999 | A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. Domenico Cantone, Calogero G. Zarba |
| 1999 | A Time Efficient KE Based Theorem Prover. Ulrich Endriss |
| 1999 | An Interactive Theorem Proving Assistant. Ulrich Endriss |
| 1999 | Analytic Calculi for Projective Logics. Matthias Baaz, Christian G. Fermüller |
| 1999 | Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. Volker Haarslev, Ralf Möller |
| 1999 | Automated Reasoning and the Verification of Security Protocols. Fabio Massacci |
| 1999 | Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings Neil V. Murray |
| 1999 | Bounded Contraction in Systems with Linearity. Agata Ciabattoni |
| 1999 | CLDS for Propositional Intuitionistic Logic. Krysia Broda, Dov M. Gabbay |
| 1999 | Cut-Free Display Calculi for Nominal Tense Logics. Stéphane Demri, Rajeev Goré |
| 1999 | DLP and FaCT. Peter F. Patel-Schneider, Ian Horrocks |
| 1999 | Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison. Fabio Massacci |
| 1999 | Full First-Order Free Variable Sequents and Tableaux in Implicit Induction. Claus-Peter Wirth |
| 1999 | Generating Minimal Herbrand Models Step by Step. Heribert Schütz |
| 1999 | Hilbert's epsilon-Terms in Automated Theorem Proving. Martin Giese, Wolfgang Ahrendt |
| 1999 | Intuitionistic Tableau Extracted. James L. Caldwell |
| 1999 | KtSeqC: System Description. Vijay Boyapati, Rajeev Goré |
| 1999 | Merge Path Improvements for Minimal Model Hyper Tableaux. Peter Baumgartner, Joseph Douglas Horton, Bruce Spencer |
| 1999 | Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions. Randal E. Bryant, Steven M. German, Miroslav N. Velev |
| 1999 | Partial Functions in an Impredicative Simple Theory of Types. Paul C. Gilmore |
| 1999 | Proof Confluent Tableau Calculi. Reiner Hähnle, Bernhard Beckert |
| 1999 | Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization? Stéphane Demri |
| 1999 | Strategy Parallel Use of Model Elimination with Lemmata (System Abstract). Andreas Wolf, Joachim Draeger |
| 1999 | Tableau Calculi for Hybrid Logics. Miroslava Tzakova |
| 1999 | The Non-Associative Lambek Calculus with Product in Polynomial Time. Philippe de Groote |
| 1999 | linTAP: A Tableau Prover for Linear Logic. Heiko Mantel, Jens Otten |