彼の重要な論文TheComplexityofTheoremProvingProceduresは1971年ACMSIGACT計算理論シンポジウムで発表され、NP完全性の理論の基礎となった。
在1971年的美国，史提芬·古克发表了他的论文"Thecomplexityoftheoremprovingprocedures"于新成立的ACMSymposiumonTheoryofComputing内。