TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Brüning, Stefan
T1  - Prolog technology for default reasoning : proof theory and compilation techniques
Y1  - 1998
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/23318
ER  -