@第{zbMATH05128124条，作者={Lutz、Carsten和Walther、Dirk和Wolter、Frank}，Title={实域上的定量时序逻辑：{PSpace}及其下}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={205}，数字={1}，Pages＝{99-123}，年份={2007}，语言={英语}，DOI={10.1016/j.ic.2006.08.006}，关键词={03B44,68Q15,68Q17}，zbMATH={5128124}，Zbl={1109.03012}}