@inproceedings{DBLP:conf/sat/FichteMS16, author = {Fichte, Johannes Klaus and Meier, Arne and Schindler, Irina}, title = {Strong Backdoors for Default Logic}, booktitle = {{SAT}}, series = {Lecture Notes in Computer Science}, volume = {9710}, pages = {45--59}, publisher = {Springer}, year = {2016} }