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

Schaub, Torsten ; Thielscher, ; Thielscher, (1996)
Skeptical- query-answering in constrained default logic.
Conference or Workshop Item, Bibliographie