BibTeX记录conf/ijcai/EchenimPT18
@正在进行{DBLP:conf/ijcai/EchenimPT18， author={Mnacho Echenim和 尼古拉斯·佩尔蒂埃和 索菲·图雷特}， editor={J{\'{e}}r{\^{o}}meLang}， title={等式逻辑中的素蕴涵生成（扩展抽象）}， booktitle={第二十七届国际联合会议记录 人工智能，2018年7月13日至19日，{IJCAI}，斯德哥尔摩， 瑞典}， 页码={5588--5592}， publisher={ijcai.org}， 年份＝{2018}， url={ https://doi.org/10.24963/ijcai.2018/790 }, doi={10.24963/IJCAI.2018/790}， 时间戳={2019年8月20日星期二16:19:08+0200}， biburl={ https://dblp.org/rec/conf/ijcai/EchenimPT18.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
