@inproceedings{TEMP:conf/sat/OstrowskiS12,
  author = {Ostrowski, Max and Schaub, Torsten},
  title = {{ASP} modulo {CSP}: The clingcon system},
  booktitle = {{CSPSAT}},
  year = {2012}
}