1. Gödel, K., The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory, Princeton University Press, Princeton (1940).
2. McCharen, J., Overbeek, R., and Wos, L., ?Complexity and related enhancements for automated theorem-proving programs?, Computers and Mathematics with Applications 2, 1?16 (1976).
3. Robinson, J., ?Automatic deduction with hyper-resolution?, International Journal of Computer Mathematics, 1, 227?234 (1965).
4. Wos, L., Automated Reasoning: 33 Basic Research Problems, Prentice-Hall, Englewood Cliffs, New Jersey (1987).
5. Wos, L., ?Basic research problems: The problem of self-analytically choosing the set of support?, J. Automated Reasoning 4, 327?330 (1988).