斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 具有交集和逆向的PDL：可满足性和无限状态模型检查。 （英语） Zbl 1181.03034号 J.塞姆。日志。 74，第1279-314号（2009年）. 审核人：罗杰·维尔梅尔（蒙特勒） 理学硕士：03B70号 05年3月 2017年第68季度 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人，J.Symb。日志。74，第1号，279--314（2009；Zbl 1181.03034） 全文： 内政部
斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 带有交叉和逆向的PDL是2EXP完成的。 （英语） Zbl 1180.03033号 Seidl，Helmut（编辑），《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007，该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71388-3/pbk）。计算机科学讲义4423198-212（2007）。理学硕士：03B70号 05年3月 2017年第68季度 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人，Lect。注释计算。科学。4423，198--212（2007；Zbl 1180.03033） 全文： 内政部