Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 归纳与饱和相结合的定理证明。 253-294 2020 64 J.汽车。原因。 2 https://doi.org/10.1007/s10817-019-09519-x db/journals/jar/jar64.html#EchenimP20