BibTeX记录conf/cade/EchenimIP21
@正在进行{DBLP:conf/cade/EchenimIP21， author={Mnacho Echenim和 Radu Iosif和 尼古拉斯·佩尔蒂埃}， editor=｛Andr｛\'｛e｝｝Platzer和 杰夫·萨特克利夫}， title={用归纳法统一分离逻辑中的可判定蕴涵 定义}， booktitle={自动扣除-{CADE}28-28国际会议 自动扣除，虚拟事件，2021年7月12日至15日，诉讼}， series={计算机科学讲稿}， 体积={12699}， 页数={183--199}， publisher={Springer}， 年份={2021}， url={ https://doi.org/10.1007/978-3-030-79876-5 \_11}, doi={10.1007/978-3-030-79876-5\_11}， timestamp={2021年7月29日星期四13:42:16+0200}， biburl={ https://dblp.org/rec/conf/cade/EchenimIP21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
