@第{zbMATH05919039条，作者={Ketema、Jeroen和Simonsen、Jakob Grue}，标题＝{无穷组合归约系统}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={209}，数字={6}，页码={893--926}，年份={2011}，语言={英语}，DOI={10.1016/j.ic.2011.01.007}，关键词={68Q42,03B40}，zbMATH={5919039}，Zbl={1235.68095}}