@第{zbMATH05997561条，作者={赫尔曼、大卫和汤姆、亚伦和弗拉纳根、科马克}，标题={节省空间的渐进式键入}，FJournal={高阶符号计算}，Journal＝｛高阶符号计算｝，ISSN={1388-3690}，体积={23}，数字={2}，页码={167--189}，年份={2010}，语言={英语}，DOI={10.1007/s10990-011-9066-z}，关键词={68N15,68Q55}，zbMATH={5997561}，Zbl={1232.68025}}