BibTeX记录conf/rta/TourE07
@正在进行{DBLP:conf/rta/TourE07， author={Thierry Boy de la Tour和 Mnacho Echenim}， editor={Franz Baader}， title={确定统一稳定的表示}， booktitle={术语改写与应用，第18届国际会议，{RTA} 2007年，法国巴黎，2007年6月26-28日，会议记录}， series={计算机科学讲稿}， 体积={4533}， 页数={63--77}， publisher={Springer}， 年份={2007}， url={ https://doi.org/10.1007/978-3-540-73449-9 \_7}, doi={10.1007/978-3-540-73449-9\_7}， timestamp={2019年5月14日星期二10:00:46+0200}， biburl={ https://dblp.org/rec/conf/rta/TourE07.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
