TY - RPRT TI - Mutually Exclusive Modules in Logic Programming AU - Keehang Kwon PY - 2015 UR - https://arxiv.org/abs/1506.04857 ID - 1506.04857 ER -