@article{JanhunenKaminskiOstrowskietal.2017,
  author    = {Tomi Janhunen and Roland Kaminski and Max Ostrowski and Sebastian Schellhorn and Philipp Wanko and Torsten H. Schaub},
  title     = {Clingo goes linear constraints over reals and integers},
  journal   = {Theory and practice of logic programming},
  volume    = {17},
  pages     = {872 -- 888},
  doi       = {10.1017/S1471068417000242},
  year      = {2017},
}