BibTeX记录期刊/corr/Sofronie-Stokkermans17
@文章{DBLP:journals/corr/Sofronie-Stokkermans17， author={维奥里卡·索夫罗尼 {-}斯托克曼 }, title={论理论扩展中的插值和符号消除}， 日志={CoRR}， 体积={abs/1702.06620}， 年份={2017年}， url={ http://arxiv.org/abs/1702.06620 }, eprinttype={arXiv}， eprint={1702.06620}， timestamp={2018年8月13日星期一16:46:38+0200}， biburl={ https://dblp.org/rec/journals/corr/Sofronie-Stokkermans17.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
