[1]
B. Kaufmann, N. Leone, S. Perri, and T. Schaub, “Grounding and Solving in Answer Set Programming”, AIMag, vol. 37, no. 3, pp. 25-32, Oct. 2016.