BibTeX记录conf/rta/Statman14
@正在进行{DBLP:conf/rta/Statman14， author={Rick Statman}， editor={Gilles Dowek}， title={近半环和Lambda微积分}， booktitle＝{重写和打字Lambda微积分-联合国际会议， {RTA-TLCA}2014，作为维也纳逻辑夏季的一部分举行，{VSL} 2014年7月14日至17日，奥地利维也纳。 诉讼}， series={计算机科学讲稿}， 体积={8560}， 页数={410--424}， publisher={Springer}， 年份={2014}， url={ https://doi.org/10.1007/978-3-319-08918-8 \_28}, doi={10.1007/978-3-319-08918-8\_28}， timestamp={2019年5月14日星期二10:00:46+0200}， biburl={ https://dblp.org/rec/conf/rta/Statman14.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
