A computing procedure for quantification theory (1960)

by M Davis, H Putnam
Venue:Journal of the ACM