BibTeX记录期刊/jsc/SalinierS96
@文章{DBLP:journals/jsc/SalinierS96, author={Bruno Salinier和 罗伯特·斯特兰德, title={带构造函数的前向分支系统的有效仿真 系统}, 期刊={J.Symb.Comput.}, 体积={22}, 数字={4}, 页数={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 } }