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/23463 SN - 3-540-64993-X ER -