@inproceedings{DBLP:conf/lpnmr/FichteS17, author = {Fichte, Johannes Klaus and Szeider, Stefan}, title = {Backdoor Trees for Answer Set Programming}, booktitle = {ASPOCP@LPNMR}, series = {{CEUR} Workshop Proceedings}, volume = {1868}, publisher = {CEUR-WS.org}, year = {2017} }