Kaufmann, Benjamin, Nicola Leone, Simona Perri, and Torsten Schaub. 2016. “Grounding and Solving in Answer Set Programming”. AI Magazine 37 (3):25-32. https://doi.org/10.1609/aimag.v37i3.2672.