@article{DBLP:journals/aim/KaufmannLPS16,
  title = {Grounding and Solving in Answer Set Programming},
  author = {Kaufmann, Benjamin and Leone, Nicola and Perri, Simona and Schaub, Torsten},
  journal = {{AI} Magazine},
  number = {3},
  pages = {25--32},
  volume = {37},
  year = {2016}
}