BibTeX记录日志/bjmc/JordanZ16
@文章{DBLP:journals/bjmc/JordanZ16， author={查尔斯·乔丹和 托马斯·齐格曼， title={The Kahr-Moore-Wang类包含不可测试属性}， 日记账={Balt.J.Mod.Comput.}， 体积={4}， 数字={4}， 年份={2016年}， url={ https://doi.org/10.22364/bjmc.2016.4.4.11 }, doi={10.22364/BJMC.2016.4.4.11}， 时间戳＝{2020年3月18日星期三17:34:23+0100}， biburl={ https://dblp.org/rec/journals/bjmc/JordanZ16.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
