1998

Bibel, Wolfgang ; Brüning, ; Otten, ; Rath, ; Schaub, Karlheinz (1998)
Compressions and extensions.
In: Automated deduction: a basis for applications, Auflage: Dordrecht: Kluwer Acad. Publ., 1998
Buchkapitel, Bibliographie

1995

Bibel, Wolfgang ; Brüning, ; Ugly, ; Korn, ; Rath, (1995)
Issues in theorem proving based on the connection method.
Konferenzveröffentlichung, Bibliographie

Egly, Uwe ; Rath, (1995)
The halting problem: an automatically generated proof.
In: AAR-newsletter. 30 (1995), S. 10-16
Artikel, Bibliographie