BibTeX记录conf/csl/KieronskiM12
@正在进行{DBLP:conf/csl/KieronskiM12， author={Emanuel Kieronski和 Jakub Michaliszyn}， editor={Patrick C{'{e}}gielski和 阿诺德·杜兰德}， title={带传递闭包的二元通用逻辑}， booktitle＝{计算机科学逻辑（CSL’12）-第26届国际研讨会/21 EACSL年会，2012年9月3日至6日，枫丹白露， 法国}， 系列={LIPIcs}， 体积={16}， 页数={396--410}， publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}， 年份={2012}， url={ https://doi.org/10.4230/LIPIcs.CSL.2012.396 }, doi={10.4230/LIPICS.CSL.2012.396}， timestamp={2020年2月11日星期二15:52:14+0100}， biburl={ https://dblp.org/rec/conf/csl/KieronskiM12.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
