BibTeX记录conf/aplas/CalcagnoDG07
@正在进行{DBLP:conf/aplas/CalcagnoDG07， author={克里斯蒂亚诺·卡尔卡尼奥和 托马斯·丁斯代尔 ｛-｝年轻 和 菲利普·加德纳}， editor={钟绍}， title={树上下文逻辑中的附加消除}， booktitle={编程语言与系统，第五届亚洲研讨会，{APLAS}2007， 新加坡，2007年11月29日至12月1日，诉讼}， series={计算机科学讲稿}， 体积={4807}， 页数={255--270}， publisher＝{Springer}， 年份={2007}， url={ https://doi.org/10.1007/978-3-540-76637-7 \_17}, doi={10.1007/978-3-540-76637-7\_17}， timestamp={2019年5月14日星期二10:00:41+0200}， biburl={ https://dblp.org/rec/conf/aplas/CalcagnoDG07.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
