J. Bomanson, T. Janhunen, and A. Weinzierl, “Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming”, AAAI, vol. 33, no. 01, pp. 2694-2702, Jul. 2019.