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