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