Bibel, Wolfgang ; Brüning, Stefan ; Otten, Jens ; Rath, Thomas ; Schaub, Torsten
Hrsg.: Bibel, Wolfgang (1998)
Compressions and extensions.
In: Automated deduction: a basis for applications. Vol. 1
Buchkapitel, Bibliographie

Bibel, Wolfgang ; Brüning, Stefan ; Egly, U. ; Korn, D. ; Rath, Thomas
Hrsg.: Baumgartner, P. (1995)
Issues in theorem proving based on the connection method.
4th International Workshop, TABLEAUX-95. St. Goar, Germany (07.05. - 10.05.1995)
doi: 10.1007/3-540-59338-1_24
Konferenzveröffentlichung, Bibliographie