TY  - RPRT
TI  - Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
AU  - Fangfang Liu
AU  - Jia-huai You
PY  - 2021
UR  - https://arxiv.org/abs/2105.11071
ID  - 2105.11071
ER  -