张，兰;乌尔里希Hustadt;克莱尔·迪克森 分支时间时序逻辑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） 全文： 内政部
张，兰;乌尔里希Hustadt;克莱尔·迪克森 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） 全文： 内政部
弗南德斯·加戈，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，No.3，295--321（2005；Zbl 1108.03018） 全文： 内政部
鲍里斯·科涅夫;安纳托利·德吉亚列夫;克莱尔·迪克森;迈克尔·费希尔;乌尔里希Hustadt 机械化一阶时间分辨率。 （英语） 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） 全文： 内政部