TY  - RPRT
TI  - Strong Backdoors for Default Logic
AU  - Johannes K. Fichte
AU  - Arne Meier
AU  - Irina Schindler
PY  - 2016
UR  - https://arxiv.org/abs/1602.06052
ID  - 1602.06052
ER  -