@文章{zbMATH00637263，作者={Middeldorp，Aart}，标题={条件构造函数系统组合的完整性}，FJournal={符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积={17}，数字={1}，页码={3--21}，年份={1994}，语言={英语}，DOI={10.1006/jsco.1994.1002}，关键词={68Q42}，zbMATH={637263}，Zbl={0942.68592}}