何塞·梅塞盖尔 二十年的逻辑重写。 （英文） Zbl 1267.03043号 J.日志。阿尔盖布。程序。 81，编号7-8，721-781（2012）. 审核人：约翰·格奥尔格·格兰斯特伦（苏黎世） MSC公司：03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，J.Log。阿尔盖布。程序。81，编号7--8，721--781（2012；Zbl 1267.03043） 全文： 内政部
约翰·伍兹 认知经济学和诱拐逻辑。 （英文） Zbl 1235.03022号 版本符号。日志。 5，第1期，148-161（2012）.MSC公司：03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Woods}，Rev.Symb。日志。5，第1号，148--161（2012；Zbl 1235.03022） 全文： 内政部
奥利弗·弗里德曼;拿铁，马库斯;马丁·兰格 基于tableaux和自动机的\（\mathrm{CTL}^{*}\）的决策过程。 （英文） Zbl 1257.03035号 Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。《人工智能课堂讲稿》，331-345（2010）。MSC公司：03B35型 03B44号 05年3月 68吨15 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}等人，Lect。注释计算。科学。6173、331--345（2010年；Zbl 1257.03035） 全文： 内政部