@inproceedings{TEMP:dc/lpnmr/Ostrowski17,
  author = {Ostrowski, Max},
  title = {Modern Constraint Answer Set Solving},
  pages = {22--27},
  booktitle = {DC@LPNMR},
  year = {2017}
}