Kaufmann, Benjamin, Nicola Leone, Simona Perri, and Torsten Schaub. “Grounding and Solving in Answer Set Programming”. AI Magazine 37, no. 3 (October 7, 2016): 25-32. Accessed May 24, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2672.