@article{KaufmannLeonePerrietal.2016,
  author    = {Benjamin Kaufmann and Nicola Leone and Simona Perri and Torsten H. Schaub},
  title     = {Grounding and Solving in Answer Set Programming},
  journal   = {AI magazine},
  volume    = {37},
  pages     = {25 -- 32},
  year      = {2016},
}