@inproceedings{TEMP:dc/lpnmr/Hecher17,
  title = {Structure-Driven Answer-Set Solving},
  author = {Hecher, Markus},
  booktitle = {DC@LPNMR},
  year = {2017}
}