BibTeX记录conf/lpar/EchenimIP20
@正在进行{DBLP:conf/lpar/EchenimIP20， author={Mnacho Echenim和 Radu Iosif和 尼古拉斯·佩尔蒂埃}， editor={Elvira Albert和 劳拉·科夫（Laura Kov）， title={用归纳定义检查分离逻辑中的蕴涵 是2-EXPTIME硬}， booktitle={{LPAR}2020：第23届国际编程逻辑会议， 人工智能和推理，西班牙阿利坎特，5月22日至27日， 2020}, series={计算中的EPiC系列}， 体积={73}， 页数={191--211}， publisher={EasyChair}， 年份={2020年}， url={ https://doi.org/10.29007/f5wh }, doi={10.29007/F5WH}， timestamp={太阳，2021年8月15日00:16:53+0200}， biburl={ https://dblp.org/rec/conf/lpar/EchenimIP20.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
