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