@inproceedings{TEMP:dc/lpnmr/Schellhorn17, title = {Theory Reasoning with Answer Set Programming}, author = {Schellhorn, Sebastian}, booktitle = {DC@LPNMR}, pages = {31--34}, year = {2017} }