A computing procedure for quanti cation theory (1960)

by M Davis, H Putnam
Venue:Proc. of 2nd Structure in Complexity Theory Conference