Bogaerts, B., Marynissen, S., & Weinzierl, A. (2020). Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming. In M. V. Martinez & I. Varzinczak (Eds.), NMR 2020 Workshop Notes (p. 9). http://hdl.handle.net/20.500.12708/55542