@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} }