1. Formalization and automatic theorem proving. Information Processing;Wang,1965
2. Theorem Proving by Machine;Chinlund,1964
3. A review of automatic theorem proving;Robinson,1967
4. Automatic theorem proving with equality substitutions and mathematical induction;Darlington;Machine Intelligence,1968
5. The generalized resolution principle;Robinson;Machine Intelligence,1968