BibTeX记录日志/ndjfl/Statman80
@文章{DBLP:journals/ndjfl/Statman80, author={Richard Statman}, title={Chang和Lee问题的解决方案}, journal={圣母院J.正式日志.}, 体积={21}, 数字={3}, 页数={518--520}, 年份={1980年}, url={ https://doi.org/10.1305/ndjfl/1093883175 }, doi={10.1305/NDJFL/1093883175}, timestamp={2020年5月21日星期四20:06:04+0200}, biburl={ https://dblp.org/rec/journals/ndjfl/Statman80.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }