于普罗霍罗夫。G.公司。 等变最小模型程序。 （英语。俄文原件） Zbl 1478.14030号 俄罗斯数学。Surv公司。 76，第3期，461-542（2021年）; 来自Usp的翻译。Mat.Nauk 76，No.3，93-182（2021）。 审核人：Anne-Sophie Kaloghiros（伦敦） MSC公司：14E30型 14E07号 14J50型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.G.Prokhorov}，俄罗斯数学。Surv公司。76，第3号，461--542（2021；Zbl 1478.14030）；来自Usp的翻译。Mat.Nauk 76，No.3，93--182（2021） 全文： 内政部
A.J.Kfoury。;A.P.斯托尔布什金。;Urzyczyn，P。 程序方案和动态逻辑理论中的一些开放性问题。 （英语。俄文原件） Zbl 0678.68007号 俄罗斯数学。Surv公司。 44，No.1，43-68（1989）; 来自Usp的翻译。Mat.Nauk 44，第1号（265），35-55（1989）。 审核人：G.E.Tsejtlin先生 MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Kfoury}等人，俄罗斯数学。Surv公司。44，No.1，43--68（1989；Zbl 0678.68007）；来自Usp的翻译。Mat.Nauk 44，No.1（265），35-55（1989） 全文： 内政部