Kaufmann, B.; Leone, N.; Perri, S.; Schaub, T. Grounding and Solving in Answer Set Programming. AIMag 2016, 37, 25-32.