1. Peter Baumgartner and Ulrich Furbach. Hyper Tableaux and Disjunctive Logic Programming. Fachberichte Informatik 13-96, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1996.
2. B. Beckert and R. Hähnle. An Improved Method for Adding Equality to Free Variable semantic Tableaux. In D. Kapur, editor, 11th International Conference on Automated Deduction, volume 607 of LNCS, pages 507–521. Springer, 1992.
3. Bernhard Beckert and Joachim Posegga. leanTAP: Lean tableaubased deduction. Journal of Automated Reasoning, 1994. To appear.
4. Jean-Paul Billon. The Disconnection Method. In P. Moscato, U. Moscato, D. Mundici, and M. Ornaghi, editors, Theorem Proving with Analytic Tableaux and Related Methods, volume 1071 of Lecture Notes in Artificial Intelligence. Springer, 1996.
5. F. Bry and A. Yaha. Minimal model generation with unit hyper-resolution tableau. In 5th Workshop of Analytic Tableaux and Related methods, LNCS. Springer, 1996.