@article{DBLP:journals/tplp/JanhunenKOSWS17,
  author = {Janhunen, Tomi and Kaminski, Roland and Ostrowski, Max and Schellhorn, Sebastian and Wanko, Philipp and Schaub, Torsten},
  title = {Clingo goes linear constraints over reals and integers},
  journal = {{TPLP}},
  volume = {17},
  number = {5-6},
  pages = {872--888},
  year = {2017}
}