@misc{indiciae9cabe0006561, title = {Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming}, author = {Jesse Heyninck and Ofer Arieli and Bart Bogaerts}, year = {2022}, url = {https://arxiv.org/abs/2211.17262}, note = {Source identifier: 2211.17262} }