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