%0 Conference Paper %1 conf/sat/FichteMS16 %A Fichte, Johannes Klaus %A Meier, Arne %A Schindler, Irina %B SAT %D 2016 %E Creignou, Nadia %E Berre, Daniel Le %I Springer %K dblp %P 45-59 %T Strong Backdoors for Default Logic. %U http://dblp.uni-trier.de/db/conf/sat/sat2016.html#FichteMS16 %V 9710 %@ 978-3-319-40969-6

@inproceedings{conf/sat/FichteMS16, added-at = {2018-11-14T00:00:00.000+0100}, author = {Fichte, Johannes Klaus and Meier, Arne and Schindler, Irina}, biburl = {https://www.bibsonomy.org/bibtex/23aedb521dd2d4666ea2c13ee9b0abed5/dblp}, booktitle = {SAT}, crossref = {conf/sat/2016}, editor = {Creignou, Nadia and Berre, Daniel Le}, ee = {https://www.wikidata.org/entity/Q57998270}, interhash = {69c5c5ba4f4fb82eae4f9f223a2c00ca}, intrahash = {3aedb521dd2d4666ea2c13ee9b0abed5}, isbn = {978-3-319-40969-6}, keywords = {dblp}, pages = {45-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:11:16.000+0200}, title = {Strong Backdoors for Default Logic.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2016.html#FichteMS16}, volume = 9710, year = 2016 }