@misc{indiciaeb43d0e3e6a7e,
  title = {The Choice Construct in the Souffle Language},
  author = {Xiaowen Hu and Joshua Karp and David Zhao and Abdul Zreika and Xi Wu and Bernhard Scholz},
  year = {2021},
  url = {https://arxiv.org/abs/2108.11212},
  note = {Source identifier: 2108.11212}
}