@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}
}