@article{DBLP:journals/tplp/BanbaraKOS17,
  author = {Banbara, Mutsunori and Kaufmann, Benjamin and Ostrowski, Max and Schaub, Torsten},
  title = {Clingcon: The next generation},
  journal = {{TPLP}},
  volume = {17},
  number = {4},
  pages = {408--461},
  year = {2017}
}