提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lpar/EchenimIP20AU-埃切宁，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-归纳定义分离逻辑中的蕴涵检查是2-EXPTIME困难的。BT-LPAR 2020：第23届编程、人工智能和推理逻辑国际会议，西班牙阿利坎特，2020年5月22日至27日。第191页欧洲药典-2112020年上半年//DO-10.29007/F5WHUR-（欧元）https://doi.org/10.29007/f5wh急诊室-