1. V. M. Glushkov, ?Some problems of the theory of automata and artificial intelligence,? Kibernetika, No. 2 (1970).
2. Yu. V. Kapitonova, V. F. Kostyrko, A. V. Lyaletskii, A. I. Degtyarev, and A. I. Malashonok, ?Survey and bibliography of papers on automatic search for proofs of theorems in formal theories,? Kibernetika, No. 5 (1972).