BibTeX记录conf/lics/KieronskiO05
@进行中{DBLP:conf/lics/KieronskiO05， author={Emanuel Kieronski和 马丁·奥托， title={一阶逻辑的小子结构和可判定性问题 带有两个变量}， booktitle={第20届{IEEE}计算机科学逻辑研讨会{（LICS}2005）， 2005年6月26-29日，美国伊利诺伊州芝加哥，Proceedings}， 页数={448--457}， publisher={{IEEE}计算机协会}， 年份={2005}， url={ https://doi.org/10.1109/LICS.2005.49 }, doi={10.1109/LICS.2005.49}， timestamp={2023年3月24日星期五00:01:49+0100}， biburl={ https://dblp.org/rec/conf/lics/KieronskiO05.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
