TY  - RPRT
TI  - The Choice Construct in the Souffle Language
AU  - Xiaowen Hu
AU  - Joshua Karp
AU  - David Zhao
AU  - Abdul Zreika
AU  - Xi Wu
AU  - Bernhard Scholz
PY  - 2021
UR  - https://arxiv.org/abs/2108.11212
ID  - 2108.11212
ER  -