克里斯蒂娜·费尔 托马斯·艾特 使用完全丰富自动机的森林逻辑程序推理。 2015 JOWO@IJCAI https://ceur-ws.org/Vol-1517/JOWO-15_ontolp_paper_8.pdf conf/ijcai/2015jowo db/conf/ijcai/jowo2015.html#FeierE15