BibTeX记录期刊/jsc/SalinierS96
@文章{DBLP:journals/jsc/Saliners96， author={Bruno Salinier和 罗伯特·斯特兰德， title={带构造函数的前向分支系统的有效仿真 系统}， 日志={J.Symb.Comput.}， 体积={22}， 数字={4}， pages＝{381-399}， 年份={1996}， url={ https://doi.org/10.1006/jsco.1996.0058 }, doi＝{10.1006/JSCO.1996.0058}， timestamp={2021年2月17日星期三08:56:57+0100}， biburl={ https://dblp.org/rec/journals/jsc/SalinierS96.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
