TY - JOUR A1 - Benhammadi, Farid A1 - Nicolas, Pascal A1 - Schaub, Torsten H. T1 - Extension calculus and query answering in prioritized default logic Y1 - 1998 UR - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/22353 SN - 3-540- 64993-X ER -