1. M. Baaz and C. G. Fermüller. Non-elementary speedups between different versions of tableaux. In Proceedings, 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods, St. Goar, LNCS 918, pages 217–230. Springer, 1995.
2. P. Baumgartner. A model elimination calculus with built-in theories. In H.-J. Ohlbach, editor, Proceedings, German Workshop on Artificial Intelligence (GWAI), LNCS 671, pages 30–42. Springer, 1992.
3. P. Baumgartner. Linear and unit-resulting refutations for Horn theories. Journal of Automated Reasoning, 1996. To appear.
4. P. Baumgartner, U. Furbach, and U. Petermann. A unified approach to theory reasoning. Forschungsbericht 15/92, University of Koblenz, 1992.
5. B. Beckert. Adding equality to semantic tableaux. In K. Broda, M. D'Agostino, R. Gore, R. Johnson, and S. Reeves, editors, Proceedings, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Abingdon, pages 29–41, Imperial College, London, TR-94/5, 1994.