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