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