@第{zbMATH05264854条，作者={Delaune，St{\ee}phanie and Lafourcade，Pascal and Lugiez，Denis and Treinen，Ralf}，标题={单体方程理论的符号协议分析}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={206}，数字={2-4}，页码={312--351}，年份={2008}，语言={英语}，DOI={10.1016/j.ic.2007.07.005}，关键词={68M12,68P25}，zbMATH={5264854}，Zbl={1148.68325}}