@第{zbMATH06441780条，作者={Demri，St{\'e}phane and Dhar，Amit Kumar and Sangnier，Arnaud}，标题={驯服过去的{LTL}和平面计数器系统}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN＝{0890-5401}，体积={242}，页码={306--339}，年份={2015年}，语言={英语}，DOI={10.1016/j.ic.2015.03.007}，关键词={68Q60,03B44,68Q17,68Q45}，zbMATH={6441780}，Zbl={1378.68112}}