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