| 1995 | Constraint Model Elimination and a PTTP-Implementation. | Peter Baumgartner, Frieder Stolzenburg |
| 1995 | Non-elementary Speedups between Different Versions of Tableaux. | Matthias Baaz, Christian G. Fermller |
| 1992 | Deciding Fragments of the First Order Logic within an Extended Tableau Method. | Nicolas Zabel |
| 1992 | Research into Analytic Tableaux. | Graham Wrightson |
| 1992 | Tableau Calculus and Equational Reasoning (Extended Abstract). | Wolfgang Wernecke |
| 1992 | Generalization and Abstraction Using Tableaux-Based Proof Systems. | Raoul Vorc'h |
| 1992 | Tableaux-Based Theorem Proving and Non-Standard Reasoning. | Vincent Risch, Camilla Schwind |
| 1992 | On Computing Prime Implicants and Prime Implicates. | Anavai Ramesh, George Becker, Neil V. Murray |
| 1992 | First-Order Shannon Graphs (Extended Abstract). | Joachim Posegga |
| 1992 | The Analityc Tableaux for Linear Temporal Logic. | Regimantas Pliuskevicius |
| 1992 | Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract). | Uwe Petermann |
| 1992 | A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). | Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic |
| 1992 | A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract). | Wilfried Neitz |
| 1992 | An Automated Theorem Prover for Relational Logic (Abstract). | Charles G. Morgan |
| 1992 | SETHEO II - The System and its Calculi. | Reinhold Letz, Klaus Mayr |
| 1992 | A Workbench for Model Elimination (Abstract). | Jrgen Lehmann |
| 1992 | A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract). | Philippe Lamarre |
| 1992 | Prover 91 - A Parallel Theorem Prover (Extended Abstract). | Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic |
| 1992 | The Prover of the Program Verification System Tatzelwurm. | Thomas Kufl |
| 1992 | Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). | Robert Johnson, Steve Reeves |
| 1992 | Analytic Tableau and Integer Programming (Extended Abstract). | Reiner Hhnle |
| 1992 | Toward an Efficient Tableau Metaprover (Extended Abstract). | Mark Grundy |
| 1992 | Possible Worlds Tableaux without Explicit Accessibility. | Roderic A. Girle |
| 1992 | An Improvement of Analytic Tableaux. | Marcello D'Agostino, Marco Mondadori |
| 1992 | Towards Tableau Theorem-Proving with Analytic Cut. | Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt |