@inproceedings{AFT,
  title={Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming},
  author={Heyninck, Jesse and Arieli, Ofer},
  booktitle={accepted for the International Conference on Principles of Knowledge Representation and Reasoning},
  year={2021}
  }