TY - RPRT TI - Translating LPOD and CR-Prolog2 into Standard Answer Set Programs AU - Joohyung Lee AU - Zhun Yang PY - 2018 UR - https://arxiv.org/abs/1805.00643 ID - 1805.00643 ER -