Cristina Feier和Thomas Eiter：使用完全丰富的自动机进行森林逻辑程序推理。(2015) conf/lpnmr/FieerE15 10.1007/978-3-319-23264-5_29 使用完全丰富自动机的森林逻辑程序推理。 2 克里斯蒂娜·费尔 1 托马斯·艾特 2 346-353 低密度核磁共振 低密度核磁共振 2015 2015 dblp记录“conf/lpnmr/FieerE15”RDF数据的来源信息 2017-06-15T21:33:29+0200