@第{zbMATH06048191条，作者={Baumgartner，Peter and Pelzer，Bj{“o}rn and Tinelli，Cesare}，标题={平等的模型演化——修订并实施}，FJournal={符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积={47}，数字={9}，页码={1011--1045}，年份={2012}，语言={英语}，DOI={10.1016/j.jsc.2011.12.031}，关键词={03B35,68T15}，zbMATH={6048191}，Zbl=｛1258.03020｝}