A Computing Procedure for Quantification Theory.

Martin Davis Hilary Putnam A Computing Procedure for Quantification Theory. 201-215 1960 7 J. ACM 3 http://doi.acm.org/10.1145/321033.321034 db/journals/jacm/jacm7.html#DavisP60