@article{DBLP:journals/corr/abs-1210-2287, title = {{ASP} modulo {CSP:} The clingcon system}, author = {Ostrowski, Max and Schaub, Torsten}, journal = {CoRR}, volume = {abs/1210.2287}, year = {2012} }