@第{zbMATH05658019条，作者={Demri，St{'e}phane and Gascon，R{'e{gis}，标题={绑定语法资源对{Presburger}{LTL}}的影响，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN={0955-792X}，体积＝{19}，数字={6}，页码={1541--1575}，年份={2009}，语言={英语}，DOI={10.1093/logcom/exp037}，关键词={03B44.03B25,03D05.68Q60}，zbMATH={5658019}，Zbl={1193.03033}}