(1)
Bomanson, J.; Janhunen, T.; Weinzierl, A. Enhancing Lazy Grounding With Lazy Normalization in Answer-Set Programming. AAAI 2019, 33, 2694-2702.