A Computing Procedure for Quanti cation Theory (1960)

by Martin Davis, Hilary Putnam
Venue:Journal of the ACM