于加夫里连科。对。 Cooper代数在逻辑编程中尾部递归理论的应用。 （英语。俄文原件） Zbl 0717.03018号 苏联。数学。，多克。 41，第3期，501-505（1990）; Dokl翻译。阿卡德。Nauk SSSR 312，No.5，1033-1037（1990）。MSC公司：03天75 68N17号 03G25号 20立方米 03天80 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Gavrilenko}，苏联。数学。，多克。41，第3号，501--505（1990；Zbl 0717.03018）；Dokl翻译。阿卡德。Nauk SSSR 312，No.5，1033--1037（1990）
于加夫里连科。五、。 Cooper代数上的递归和迭代。 （英语。俄文原件） Zbl 0717.03017号 苏联。数学。，多克。 41，第3期，425-429（1990）; Dokl翻译。阿卡德。Nauk SSSR 312，第2期，265-269（1990年）。MSC公司：03D75号 68号01 03G25号 20立方米 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Gavrilenko}，苏联。数学。，多克。41，第3号，425--429（1990；Zbl 0717.03017）；Dokl翻译。阿卡德。Nauk SSSR 312，No.2，265--269（1990）
于加夫里连科。五、。 有限可分解Cooper代数上的本原递归。 （英语。俄文原件） Zbl 0799.03051号 苏联。数学。，多克。 42，第1期，63-67页（1991年）; Dokl翻译。阿卡德。Nauk SSSR 313，第4期，582-586（1990年）。MSC公司：03D75号 68号01 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Gavrilenko}，苏联。数学。，多克。42，No.1，63--67（1990；Zbl 0799.03051）；Dokl翻译。阿卡德。Nauk SSSR 313，第4号，582--586（1990）