TY - RPRT TI - Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases AU - Jianmin Ji AU - Fangfang Liu AU - Jia-Huai You PY - 2017 UR - https://arxiv.org/abs/1707.01959 ID - 1707.01959 ER -