BibTeX记录日志/mscs/Statman99
@文章{DBLP:journals/mscs/Statman99， author={Richard Statman}， title={关于n而非n+1容易组合子的存在性}， journal={Math.Struct.Comput.Sci.}， 体积={9}， 数字={4}， 页数={361--365}， 年份={1999}， url={ http://journals。cambridge.org/action/didisplayAbstract？aid=44807 }, timestamp={2020年4月1日星期三08:48:36+0200}， biburl={ https://dblp.org/rec/journals/mscs/Statman99.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
