1. W. Ahrendt and B. Beckert. An improved δ-rule for ground first-order tableaux. Unpublished draft available from the authors, 1997.
2. B. Beckert and D. Gabbay. A general framework for fibring semantic tableaux. Unpublished draft available from the authors, 1997.
3. Lect Notes Comput Sci;B. Beckert,1993
4. Lect Notes Comput Sci;M. D’Agostino,1996
5. M. D’Agostino, D. Gabbay, R. Hähnle, and J. Posegga, editors. Handbook of Tableau Methods. Kluwer, Dordrecht, 1998. To appear.