BibTeX记录conf/csl/Statman98
@正在进行{DBLP:conf/csl/Statman98， author={Richard Statman}， editor={Georg Gottlob和 艾蒂安·格兰德让和 Katrin Seyr}， title＝{V集的态射和分区}， booktitle={计算机科学逻辑，第12届国际研讨会，{CSL}'98，年度 EACSL会议，1998年8月24日至28日，捷克共和国布尔诺， 诉讼}， series={计算机科学讲稿}， 体积={1584}， 页数={313--322}， publisher={Springer}， 年份={1998年}， url={ https://doi.org/10.1007/10703163 \_21}, doi={10.1007/10703163\_21}， timestamp={2019年5月14日星期二10:00:42+0200}， biburl={ https://dblp.org/rec/conf/csl/Statman98.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
