@article{DBLP:journals/corr/FichteMS16,
  author = {Fichte, Johannes Klaus and Meier, Arne and Schindler, Irina},
  title = {Strong Backdoors for Default Logic},
  journal = {CoRR},
  volume = {abs/1602.06052},
  year = {2016}
}