TY - RPRT TI - Choice Disjunctive Queries in Logic Programming AU - Keehang Kwon AU - Daeseong Kang PY - 2022 UR - https://arxiv.org/abs/1211.6940 ID - 1211.6940 ER -