TY  - JOUR
A1  - Bibel, Wolfgang
A1  - Brüning, Stefan
A1  - Otten, Jens
A1  - Rath, Thomas
A1  - Schaub, Torsten H.
T1  - Compressions and extensions
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Brüning, Stefan
T1  - Prolog technology for default reasoning
Y1  - 1996
SN  - 0-471-96809-9
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Brüning, Stefan
A1  - Nicolas, Pascal
T1  - XRay : a prolog technology theorem prover for default reasoning: a system description
Y1  - 1996
SN  - 3-540-61511-3
ER  - 
TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten H.
T1  - A model-based approach to consistency-checking
Y1  - 1996
SN  - 3-540-61286-6
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Brüning, Stefan
T1  - Prolog technology for default reasoning : proof theory and compilation techniques
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten H.
T1  - A connection calculus for handling incomplete information
Y1  - 2000
ER  - 
TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten H.
T1  - Avoiding non-ground variables
Y1  - 1999
SN  - 3-540-66131-x
ER  - 
TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten H.
T1  - A voiding non-ground variables
Y1  - 1999
ER  - 
TY  - CHAP
A1  - Brüning, Christina
A1  - Grewe, Stefan
ED  - Harant, Martin
ED  - Thomas, Philipp
ED  - Küchler, Uwe
T1  - Historisches Lernen als eigen-sinnige Aneignung vergangener Wirklichkeiten
T2  - Theorien!
Y1  - 2020
SN  - 978-3-947251-19-3
SN  - 978-3-947251-20-9
U6  - https://doi.org/10.15496/publikation-45627
SP  - 309
EP  - 322
PB  - Tübingen University Press
CY  - Tübingen
ER  -