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

Schaub, Torsten ; Thielscher, Michael (1996)
Skeptical- query-answering in constrained default logic.
FAPR'96. Bonn (03.06.1996-07.06.1996)
Konferenzveröffentlichung, Bibliographie