BibTeX记录日志/jsc/Statman89
@文章{DBLP:journals/jsc/Statman89， author={Richard Statman}， title={Smullyan的云雀组合器的单词问题是可决定的}， 期刊＝{J.Symb.Comput.}， 体积={7}， 数字={2}， 页数={103--112}， 年份={1989年}， url={ https://doi.org/10.1016/S0747-7171 (89)80044-6}, doi={10.1016/S0747-7171（89）80044-6}， timestamp={2021年2月17日星期三08:56:40+0100}， biburl={ https://dblp.org/rec/journals/jsc/Statman89.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
