TY  - RPRT
TI  - Grounding FO and FO(ID) with Bounds
AU  - Johan Wittocx
AU  - Maarten Mariën
AU  - Marc Denecker
PY  - 2014
DO  - 10.1613/jair.2980
UR  - https://arxiv.org/abs/1401.3840
ID  - 1401.3840
ER  -