TY - RPRT TI - Grounded Fixpoints and Active Integrity Constraints AU - Luís Cruz-Filipe PY - 2016 DO - 10.4230/oasics.iclp.2016.11 UR - https://arxiv.org/abs/1607.05412 ID - 1607.05412 ER -