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