TY - RPRT TI - Abstract Gringo AU - Martin Gebser AU - Amelia Harrison AU - Roland Kaminski AU - Vladimir Lifschitz AU - Torsten Schaub PY - 2018 DO - 10.1017/s1471068415000150 UR - https://arxiv.org/abs/1507.06576 ID - 1507.06576 ER -