1. S. Amarel, ?An approach to automatic formulation of a theory,? in: Principles of Self-organization [Russian translation], Mir, Moscow (1966).
2. F. V. Anufriev, V. V. Fedyurko, A. A. Letichevskii, Z. M. Asel'derov and I. Didukh, ?On an algorithm of search of proofs in the theory of groups,? Kibernetika, No. 1 (1966).
3. F. V. Anufriev, ?An algorithm of search of proofs in the theory of sets,? in: Automaton Theory [in Russian], No. 4, Izd. IK AN USSR, Kiev (1967).
4. F. V. Anufriev, ?An algorithm of search of proofs of theorems in logic computations,? in: Automaton Theory [in Russian], No. 5, Izd. IK AN USSR, Kiev (1969).
5. R. Banerji, ?The Theory of Problem Solving, Am. Elsevier (1969).