克莱尔·狄克逊；玛丽·卡门·费尔南德斯·加戈；迈克尔·费希尔；范德霍克，威比 知识的时间逻辑及其在安全中的应用。 （英语） Zbl 1277.94051号 Dima，Cétélin（ed.）等人，《信息和计算机安全第一次研讨会论文集》（ICS 2006），罗马尼亚蒂米索拉，2006年9月30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记186，27-42（2007）。MSC公司：94A62型 03B44号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人，《电子》。注释Theor。计算。科学。186、27-42（2007年；Zbl 1277.94051） 全文： 内政部
鲍里斯·科涅夫；安纳托利·德吉亚列夫；克莱尔·狄克逊；迈克尔·费希尔；乌尔里希·赫斯塔特 机械化一阶时间分辨率。 （英语） Zbl 1086.03009号 Inf.计算。 199，第1-2号，55-86（2005）.MSC公司：03B35型 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人，Inf.Comput。199，编号1--2，55-86（2005；Zbl 1086.03009） 全文： 内政部