鲍里斯·科涅夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 传递状态上的时间逻辑。 （英语） Zbl 1135.03333号 Nieuwenhuis，Robert（编辑），自动扣除-CADE-20。第20届自动扣减国际会议，爱沙尼亚塔林，2005年7月22日至27日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28005-7/pbk）。计算机科学课堂讲稿3632。人工智能课堂讲稿，182-203（2005）。MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛B.Konev｝等人，Lect。注释计算。科学。3632、182--203（2005年；Zbl 1135.03333） 全文： 内政部
塔德乌兹·利塔克;弗兰克·沃尔特 线性时间流的所有有限公理化时态逻辑都是余NP-完备的。 （英语） Zbl 1096.03014号 螺柱日志。 81，第2期，153-165（2005）.MSC公司：03B44号 2015年3月1日 2017年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}和\textit{F.Wolter}，Stud.Log。81，第2号，153--165（2005；Zbl 1096.03014） 全文： 内政部
弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 度量和拓扑的逻辑。 （英语） Zbl 1089.03021号 J.塞姆。日志。 70，编号3，795-828（2005）.MSC公司：03B60号 03B44号 54E35个 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev}，J.Symb。日志。70，第3号，795--828（2005；Zbl 1089.03021） 全文： 内政部 链接