TY - RPRT TI - Disjunctive Logic Programs versus Normal Logic Programs AU - Heng Zhang AU - Yan Zhang PY - 2013 UR - https://arxiv.org/abs/1304.0620 ID - 1304.0620 ER -