TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Nicolas, Pascal
T1  - An implementation platform for query-answering in default logics : the XRay system, its implementation and evaluation
Y1  - 1997
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/23963
SN  - 3-540-63255-7
ER  -