克里斯蒂娜·费尔 托马斯·艾特 使用完全丰富自动机的森林逻辑程序推理。 346-353 2015 低密度核磁共振 https://doi.org/10.1007/978-3-319-23264-5_29 conf/lpnmr/2015 db/conf/lpnmr/lpnmr2015.html#FeierE15