TY - RPRT TI - Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version) AU - Jesse Heyninck AU - Bart Bogaerts PY - 2023 UR - https://arxiv.org/abs/2305.10846 ID - 2305.10846 ER -