TY - RPRT TI - Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming AU - Jesse Heyninck AU - Ofer Arieli AU - Bart Bogaerts PY - 2022 UR - https://arxiv.org/abs/2211.17262 ID - 2211.17262 ER -