TY - RPRT TI - Vicious Circle Principle and Logic Programs with Aggregates AU - Michael Gelfond AU - Yuanlin Zhang PY - 2014 DO - 10.1017/s1471068414000222 UR - https://arxiv.org/abs/1405.3637 ID - 1405.3637 ER -