BibTeX记录conf/lics/DanielskiK18
@进行中{DBLP:conf/lics/DanielskiK18， author={Daniel Danielski和 伊曼纽尔·基伦斯基}， editor={Anuj Dawar和 Erich Gr{\“{a}}del}， title={具有等价关系的一元否定片段具有有限 模型属性}， booktitle={第33届计算机逻辑年度研讨会论文集{ACM/IEEE} 科学，2018年{LICS}，英国牛津，2018年7月9日至12日}， 页数={285--294}， publisher={{ACM}}， 年份={2018年}， url={ https://doi.org/10.1145/3209108.3209205 }, doi={10.1145/3209108.3209205}， timestamp={2020年10月25日星期日22:35:35+0100}， biburl={ https://dblp.org/rec/conf/lics/DanielskiK18.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
