克里斯蒂娜·费尔 斯迪恩·海曼斯 用森林逻辑程序和f混合知识库进行推理。 395-463 2013 13 理论与实践。日志。程序。 三 https://doi.org/10.1017/S1471068411000597 db/journals/tplp/tplp13.html#FeierH13