提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日志/jar/EchenimP23非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-一种带有归纳定义和数据的分离逻辑证明程序。JO-J.汽车。原因。VL-67IS-3标准SP-30PY-2023/09年/文件编号：10.1007/S10817-023-09680-4UR-（欧元）https://doi.org/10.1007/s10817-023-09680-4网址急诊室-