TY - JOUR A1 - Linke, Thomas A1 - Schaub, Torsten H. T1 - Towards a classification of default logic Y1 - 1997 UR - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/24780 ER -