The complexity of theorem-proving procedures, (1971)

by S A COOK
Venue:Proc. 3rd Annual ACM Symp. Theory Comput.,