@article{BanbaraKaufmannOstrowskietal.2017,
  author    = {Banbara, Mutsunori and Kaufmann, Benjamin and Ostrowski, Max and Schaub, Torsten H.},
  title     = {Clingcon: The next generation},
  series = {Theory and practice of logic programming},
  volume    = {17},
  journal   = {Theory and practice of logic programming},
  publisher = {Cambridge Univ. Press},
  address   = {New York},
  issn      = {1471-0684},
  doi       = {10.1017/S1471068417000138},
  pages     = {408 -- 461},
  year      = {2017},
  language  = {en}
}