TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Brüning, Stefan
T1  - Prolog technology for default reasoning
Y1  - 1996
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/25469
SN  - 0-471-96809-9
ER  -