@article{DBLP:journals/corr/GebserKKS14,
  author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},
  title = {Clingo = {ASP} + Control: Preliminary Report},
  journal = {CoRR},
  volume = {abs/1405.3694},
  year = {2014}
}