张，兰；乌尔里希·赫斯塔特；克莱尔·狄克逊 分支时间时序逻辑CTL的分解演算。 （英语） Zbl 1287.03033号 ACM事务处理。计算。日志。 第15号第1条第10条第38页（2014年）.MSC公司：03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，ACM翻译。计算。日志。15，第1号，第10条，第38页（2014；Zbl 1287.03033） 全文： 内政部
克莱尔·狄克逊；迈克尔·费舍尔；鲍里斯·科涅夫 控制时间认知推理的复杂性。 （英语） Zbl 1193.03052号 Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。《人工智能课堂讲稿》，198-213（2009）。MSC公司：03B62号 03B42号 03B44号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人，Lect。注释计算。科学。5749198--213（2009年；Zbl 1193.03052） 全文： 内政部
阿卜杜勒卡德·贝登纳；克莱尔·狄克逊；迈克尔·费舍尔 简单觅食机器人行为的演绎验证。 （英语） Zbl 1178.93098号 《国际情报杂志》。计算。赛博。 2，第4号，604-643（2009）.MSC公司：93C85号 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Behdenna}等人，《国际情报杂志》。计算。赛博。2，第4号，604--643（2009；Zbl 1178.93098） 全文： 内政部
张，兰；乌尔里希·赫斯塔特；克莱尔·狄克逊 CTL的精细分辨率演算。 （英语） Zbl 1250.03023号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，245-260（2009）。MSC公司：03B35型 03B44号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，Lect。注释计算。科学。5663245--260（2009年；Zbl 1250.03023） 全文： 内政部
克莱尔·狄克逊；玛丽·卡门·费尔南德斯·加戈；迈克尔·费舍尔；范德霍克，威比 知识的时间逻辑及其在安全中的应用。 （英语） 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） 全文： 内政部
弗南德斯·加戈，M.C。；美国Hustadt。；狄克逊，C。；M·费希尔。；科涅夫，B。 实践中的一阶时间验证。 （英语） Zbl 1108.03018号 J.汽车。推理 34，第3期，295-321（2005）.MSC公司：03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Fernández-Gago}等人，J.Autom。推理34，第3期，295-321（2005年；Zbl 1108.03018） 全文： 内政部
鲍里斯·科涅夫；安纳托利·德吉亚列夫；克莱尔·狄克逊；迈克尔·费舍尔；乌尔里希·赫斯塔特 机械化一阶时间分辨率。 （英语） 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） 全文： 内政部
克莱尔·狄克逊 时间逻辑中解决问题的搜索策略。 （英语） Zbl 1412.68218号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 673-687 (1996).MSC公司：68吨15 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}，莱克特。注释计算。科学。1104673-687（1996年；Zbl 1412.68218） 全文： 内政部