| 1999 | Full First-Order Free Variable Sequents and Tableaux in Implicit Induction. | Claus-Peter Wirth |
| 1999 | Tableau Calculi for Hybrid Logics. | Miroslava Tzakova |
| 1999 | Generating Minimal Herbrand Models Step by Step. | Heribert Schtz |
| 1999 | DLP and FaCT. | Peter F. Patel-Schneider, Ian Horrocks |
| 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 | Automated Reasoning and the Verification of Security Protocols. | Fabio Massacci |
| 1999 | Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison. | Fabio Massacci |
| 1999 | linTAP: A Tableau Prover for Linear Logic. | Heiko Mantel, Jens Otten |
| 1999 | Proof Confluent Tableau Calculi. | Reiner Hhnle, Bernhard Beckert |
| 1999 | Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. | Volker Haarslev, Ralf Mller |
| 1999 | The Non-Associative Lambek Calculus with Product in Polynomial Time. | Philippe de Groote |
| 1999 | A Simple Sequent System for First-Order Logic with Free Constructors. | Jean Goubault-Larrecq |
| 1999 | Partial Functions in an Impredicative Simple Theory of Types. | Paul C. Gilmore |
| 1999 | Hilbert's epsilon-Terms in Automated Theorem Proving. | Martin Giese, Wolfgang Ahrendt |
| 1999 | A Time Efficient KE Based Theorem Prover. | Ulrich Endriss |
| 1999 | An Interactive Theorem Proving Assistant. | Ulrich Endriss |
| 1999 | Cut-Free Display Calculi for Nominal Tense Logics. | Stphane Demri, Rajeev Gor |
| 1999 | Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization? | Stphane Demri |
| 1999 | Bounded Contraction in Systems with Linearity. | Agata Ciabattoni |
| 1999 | A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. | Domenico Cantone, Calogero G. Zarba |
| 1999 | Intuitionistic Tableau Extracted. | James L. Caldwell |
| 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 | CLDS for Propositional Intuitionistic Logic. | Krysia Broda, Dov M. Gabbay |
| 1999 | KtSeqC: System Description. | Vijay Boyapati, Rajeev Gor |