1. Wos, L., Carson, D., and Robinson, G. The unit preference strategy in theorem proving. AFIPS Conference Proceedings 26, Spartan Books, Washington, D. C., 1964, pp. 615–621.
2. Robinson, G. A., Wos, L. T., and Carson, D. F. Some theorem-proving strategies and their implementation. AMD Tech. Memo. No. 72, Argonne Nat. Laboratory, 1964.
3. Robinson, J. A. A machine-oriented logic based on the resolution principle. J. ACM 12 (Jan., 1965), 23–41.