@第{zbMATH00165624条，作者={Sistla，A.Prasad和Zuck，Lenore D.}，标题={受限时序逻辑中的推理}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={102}，数字={2}，页码={167--195}，年份={1993}，语言={英语}，DOI={10.1006/inco.1993.1006}，关键词={03B45,68Q60,03B70,68T15,68Q10}，zbMATH={165624}，Zbl=｛0771.03007｝}