克里斯蒂娜·费尔 斯迪恩·海曼斯 森林逻辑程序推理的优化 http://arxiv.org/abs/1011.5894 2010 CoRR公司 abs/1011.5894 数据库/期刊/corr/corr1011.html#abs-1011-5894