塞梅诺夫，A.A。;Otpuschennikov，I.V.公司。 在一类决策图上。 （英语。俄文原件） Zbl 1409.94951号 自动化。远程控制 77，第4期，617-628（2016）; Avtom翻译。Telemekh公司。2016年，第484-98号（2016年）。MSC公司：94立方厘米 94B25型 68卢比 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Semenov}和\textit{I.V.Otpuschennikov}，汽车。遥控器77，No.4，617--628（2016；Zbl 1409.94951）；Avtom翻译。Telemekh公司。2016年第4期，84-98（2016） 全文： DOI程序
Cheremisinova，L.D。 基于条件对数编码的函数不确定性逻辑描述的形式化验证。 （英语。俄文原件） Zbl 1283.94158号 自动化。远程控制 73，第7期，1216-1226（2012）; Avtom翻译。Telemekh公司。2012年，第7期，139-153（2012）。MSC公司：94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.D.Cheremisinova}，汽车。遥控器73，No.7，1216--1226（2012；Zbl 1283.94158）；Avtom翻译。Telemekh公司。2012年第7期，139--153（2012） 全文： DOI程序