@article{OstrowskiSchaub2012,
  author    = {Max Ostrowski and Torsten H. Schaub},
  title     = {ASP modulo CSP The clingcon system},
  journal   = {Theory and practice of logic programming},
  volume    = {12},
  pages     = {485 -- 503},
  doi       = {10.1017/S1471068412000142},
  year      = {2012},
}