D.M.加巴伊。;I.M.霍德金森。;Reynolds，文学硕士。 存在间隙时的时间表达完整性。 （英语） Zbl 0802.03016号 Oikkonen，Juha Markku Robert（编辑）等人，《90年逻辑学术讨论会》。1990年7月15日至22日，ASL夏季会议在芬兰赫尔辛基举行。柏林：Springer-Verlag。莱克特。注释日志。2, 89-121 (1993). 审核人：V.V.Rybakov（克拉斯诺亚尔斯克） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人，Lect。注释日志。2，89-121（1993年；兹bl 0802.03016）
西斯特拉·A·普拉萨德;Lenore D.扎克。 限制时间逻辑中的推理。 （英语） Zbl 0771.03007号 Inf.计算。 102，第2期，167-195（1993）.MSC公司：03B45号 60年第68季度 03B70号 68吨15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.P.Sistla｝和\textit｛L.D.Zuck｝，信息计算。102，第2号，167--195（1993；Zbl 0771.03007） 全文： 内政部