TY - RPRT TI - On the Semantics of Gringo AU - Amelia Harrison AU - Vladimir Lifschitz AU - Fangkai Yang PY - 2013 UR - https://arxiv.org/abs/1312.6149 ID - 1312.6149 ER -