克里斯蒂娜·费尔 森林逻辑程序的最坏情况优化推理。 2012 韩国 http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4557 conf/kr/2012 db/conf/kr/kr2012.html#Feier12