@article{DBLP:journals/tplp/OstrowskiS12, title = {{ASP} modulo {CSP:} The clingcon system}, author = {Ostrowski, Max and Schaub, Torsten}, journal = {{TPLP}}, number = {4-5}, pages = {485--503}, volume = {12}, year = {2012} }