@inproceedings{DBLP:conf/iclp/Ostrowski12, title = {{ASP} modulo {CSP:} The clingcon system}, author = {Ostrowski, Max}, booktitle = {{ICLP} (Technical Communications)}, pages = {458--463}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, volume = {17}, year = {2012} }