Khasidashvili Z. Perpetual reductions and strong normalization in orthogonal term rewriting systems / Z.Khasidashvili, 1993. - 12 p. - Текст : непосредственный.
Khasidashvili Z. Higher order recursive program schemes are Turing incomplete / Z.Khasidashvili, 1993. - 18 p. - Текст : непосредственный.
Khasidashvili Z. Perpetual reductions in orthogonal commbinatory reduction systems / Z.Khasidashvili, 1993. - 19 p. - Текст : непосредственный.