@inproceedings{FichteSzeider17,
 author = {Johannes Klaus Fichte and
Stefan Szeider},
 booktitle = {Proceedings of the 10th Workshop on Answer Set
Programming and Other Computing Paradigms co-located
with the 14th International Conference on Logic
Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR
2017, Espoo, Finland, July 3, 2017.},
 editor = {Bart Bogaerts and
Amelia Harrison},
 publisher = {CEUR-WS.org},
 series = {{CEUR} Workshop Proceedings},
 title = {Backdoor Trees for Answer Set Programming},
 url = {http://ceur-ws.org/Vol-1868},
 volume = {1868},
 year = {2017}
}