1. Lecture Notes in Artificial Intelligence;P. Baumgartner,1998
2. Beckert, B.: Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens. Dissertation, University of Karlsruhe (1998)
3. Bibel, W., Brüning, S., Otten, J., Schaub, T.: Compressions and Extensions. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction. A Basis for Applications, vol. 1, ch. 5, pp. 133–179. Kluwer Academic Publishers, Dordrecht (1998)
4. Lecture Notes in Artificial Intelligence;P. Baumgartner,1999
5. LNAI;P. Baumgartner,1996