1. V. M. Glushkov, “Some problems of the theory of automata and artificial intelligence,” Kibernetika, No. 2, 3–13 (1970).
2. V. M. Glushkov, Foundations of Mathematics and Automation of Deductive Constructions. Problems of the Theory and Practice of Cybernetics [in Russian], Nauka, Moscow (1986).
3. F. V. Anufriyev, V.V. Fedyurko, A. A. Letichevskii, Z. M. Asel’derov, and I. I. Diduk, “An algorithm of search for proofs of theorems in the theory of groups,” Kibernetika, No. 1, 23–29 (1966).
4. F. V. Anufriyev. “An algorithm of search for proofs of theorems in logical calculi,” in: The Theory of Automata, IK AN USSR, Kiev (1969), pp. 3–26.
5. V. M. Glushkov, V. F. Kostyrko, A. A. Letichevskii, F. V. Anufriyev, and Z. M. Asel’derov, “A language for description of formal theories,” Teor. Kibern., No. 3, 4–31 (1970).