BibTeX记录日志/apal/Statman04
@文章{DBLP:journals/apal/Statman04， author={Richard Statman}， title={在lambda\emph{Y}演算}上， 日志={Ann.Pure Appl.Log.}， 体积＝{130}， 数字={1-3}， pages＝{325-337}， 年份={2004}， url={ https://doi.org/10.1016/j.apal.2004.04.004 }, doi={10.1016/J.APAL.2004.04.004}， 时间戳={2020年2月21日星期五21:18:08+0100}， biburl={ https://dblp.org/rec/journals/apal/Statman04.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
