苏布拉马尼,K。 关于无记忆的谚语和不真诚的验证者。 (英语) Zbl 1183.68592号 J.实验理论。Artif公司。智力。 第32117-231号第21页(2009年).MSC公司:68T20型 2017年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani},J.Exp.Theor(编辑提奥)。Artif公司。智力。21,第3号,217--231(2009;Zbl 1183.68592) 全文: 内政部
亚历山大·博洛托夫 CTL分支时间时序逻辑的子句分解方法。 (英语) Zbl 1054.68666号 J.实验理论。Artif公司。智力。 11,第1期,77-93(1999).MSC公司:68T27型 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov},J.实验理论。Artif公司。智力。11,第1号,77--93(1999;Zbl 1054.68666) 全文: 内政部