Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 带有归纳定义和数据的分离逻辑的证明过程。 30 2023 九月 67 J.汽车。原因。 三 https://doi.org/10.1007/s10817-023-09680-4网址 db/journals/jar/jar67.html#EchenimP23