Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 诱导推理的叠加演算。 2014 abs/1406.0303 CoRR公司 网址：http://arxiv.org/abs/11406.0303 db/journals/corr/corr1406.html#EchenimP14