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