TY  - RPRT
TI  - Incremental Answer Set Programming with Overgrounding
AU  - Francesco Calimeri
AU  - Giovambattista Ianni
AU  - Francesco Pacenza
AU  - Simona Perri
AU  - Jessica Zangari
PY  - 2019
DO  - 10.1017/s1471068419000292
UR  - https://arxiv.org/abs/1907.09212
ID  - 1907.09212
ER  -