| 1992 | A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract). Wilfried Neitz |
| 1992 | A Model Elimination Calculus for Generalized Clauses. Toni Bollinger |
| 1992 | A Model Elimination Calculus with Built-in Theories (Extended Abstract). Peter Baumgartner |
| 1992 | A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract). Philippe Lamarre |
| 1992 | A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic |
| 1992 | A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. Tadashi Araragi |
| 1992 | A Workbench for Model Elimination (Abstract). Jürgen Lehmann |
| 1992 | An Automated Theorem Prover for Relational Logic (Abstract). Charles G. Morgan |
| 1992 | An Improvement of Analytic Tableaux. Marcello D'Agostino, Marco Mondadori |
| 1992 | Analytic Tableau and Integer Programming (Extended Abstract). Reiner Hähnle |
| 1992 | Consolution as a Framework for Comparing Calculi. Peter Baumgartner, Ulrich Furbach |
| 1992 | Deciding Fragments of the First Order Logic within an Extended Tableau Method. Nicolas Zabel |
| 1992 | First-Order Shannon Graphs (Extended Abstract). Joachim Posegga |
| 1992 | Generalization and Abstraction Using Tableaux-Based Proof Systems. Raoul Vorc'h |
| 1992 | Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). Robert Johnson, Steve Reeves |
| 1992 | On Computing Prime Implicants and Prime Implicates. Anavai Ramesh, George Becker, Neil V. Murray |
| 1992 | Possible Worlds Tableaux without Explicit Accessibility. Roderic A. Girle |
| 1992 | Prover 91 - A Parallel Theorem Prover (Extended Abstract). Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic |
| 1992 | Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract). Uwe Petermann |
| 1992 | Research into Analytic Tableaux. Graham Wrightson |
| 1992 | SETHEO II - The System and its Calculi. Reinhold Letz, Klaus Mayr |
| 1992 | Tableau Calculus and Equational Reasoning (Extended Abstract). Wolfgang Wernecke |
| 1992 | Tableaux-Based Theorem Proving and Non-Standard Reasoning. Vincent Risch, Camilla Schwind |
| 1992 | The Analityc Tableaux for Linear Temporal Logic. Regimantas Pliuskevicius |
| 1992 | The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). Oliver Bittel |
| 1992 | The Prover of the Program Verification System Tatzelwurm. Thomas Käufl |
| 1992 | Toward an Efficient Tableau Metaprover (Extended Abstract). Mark Grundy |
| 1992 | Towards Tableau Theorem-Proving with Analytic Cut. Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt |
| 1992 | Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992 Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl |