@第{zbMATH05697029条，作者={Calcagno、Cristiano和Dinsdale-Young、Thomas和Gardner、Philippa}，标题={树的上下文逻辑中的附加消除}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={208}，数字={5}，页码={474--499}，年份={2010}，语言={英语}，DOI={10.1016/j.ic.2009.02.013}，关键词={68T27,03B60}，URL={hdl.handle.net/10044/1/33266}，zbMATH={5697029}，Zbl={1200.68224}}