TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem.
Y1  - 1998
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/22349
SN  - 3-540-65141-1
ER  -