Davis, M., and Putnam, H. 1960. A Computation Procedure for Quantification Theory. Journal of the ACM 7(3): 201-215.
Referenced by page:
Propositional Satisfiability
