@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} }