References
- Davis , M. and Putnam , H. 1960 . A computing procedure for quantification theory . Journal of the Association for Computing Machinery , 7 : 201 – 215 .
- Friedman , J. 1963 . A semi-decision procedure for the functional calculus . Journal of the Association for Computing Machinery , 10 : 1 – 24 .
- Gilmore , P.C. 1960 . A proof method for quantification theory . IBM Journal of Research and Development , 4 : 28 – 35 .
- Robinson , J.A. 1963 . Theorem-proving on the computer . Journal of the Association for Computing Machinery , 10 : 163 – 174 .
- Robinson , J.A. 1965 . A machine-oriented logic based on the resolution principle . Journal of the Association for Computing Machinery , 12 January : 23 – 41 .
- Wos , L. , Carson , D. and Robinson , G. 1964 . “ The unit-preference strategy in theorem-proving ” . In Fall Joint Computer Conference AFIPS