TY  - RPRT
TI  - Multi-shot ASP solving with clingo
AU  - Martin Gebser
AU  - Roland Kaminski
AU  - Benjamin Kaufmann
AU  - Torsten Schaub
PY  - 2018
UR  - https://arxiv.org/abs/1705.09811
ID  - 1705.09811
ER  -