A computing procedure for quanti theory (1960)

by M Davis, H Putnam
Venue:Journal of the Association for Computing Machinery