Kaufmann, B., Leone, N., Perri, S. and Schaub, T. (2016) “Grounding and Solving in Answer Set Programming”, AI Magazine, 37(3), pp. 25-32. doi: 10.1609/aimag.v37i3.2672.