TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - On bottom-up pre-processing techniques for automated default reasoning
Y1  - 1999
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/21788
SN  - 3-540-66131-x
ER  -