@article{DBLP:journals/corr/JanhunenKOSSW17,
  author = {Janhunen, Tomi and Kaminski, Roland and Ostrowski, Max and Schaub, Torsten and Schellhorn, Sebastian and Wanko, Philipp},
  title = {Clingo goes Linear Constraints over Reals and Integers},
  journal = {CoRR},
  volume = {abs/1707.04053},
  year = {2017}
}