@第{zbMATH06095693条，作者={Demri，St{’e}phane and D’Souza，Deepak and Gascon，R{’e}gis}，标题={重复值的时间逻辑}，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN={0955-792X}，体积={22}，数字={5}，页码={1059--1096}，年份={2012}，语言={英语}，DOI={10.1093/logcom/exr013}，关键词={68Q60,03B44,68Q85}，URL={semanticscholar.org/paper/d23b84572cd5f97919bae234bb3251ce4ffbe0d7}，zbMATH={6095693}，Zbl={1279.68203}}