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