TY  - JOUR
A1  - Thielscher, Michael
A1  - Schaub, Torsten H.
T1  - Default reasoning by deductive planning
Y1  - 1995
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/26867
ER  -