@inproceedings{DBLP:conf/lpnmr/JanhunenKOSSW17,
  title = {clingo goes Linear Constraints over Reals and Integers},
  author = {Janhunen, Tomi and Kaminski, Roland and Ostrowski, Max and Schaub, Torsten and Schellhorn, Sebastian and Wanko, Philipp},
  booktitle = {ASPOCP@LPNMR},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  volume = {1868},
  year = {2017}
}