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