Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 索菲·图雷特 等式逻辑中的一种外推推理方法。 2013 国际JCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6624 http://ijcai.org/Abstract/13/086 conf/ijcai/2013 db/conf/ijcai/ijcai 2013.html#EchenimPT13 531-537