Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 诱导推理的叠加演算。 97至134 2016 57 J.汽车。原因。 2 https://doi.org/10.1007/s10817-015-9344-2 db/journals/jar/jar57.html#EchenimP16