In the US in 1971, Stephen Cook published his paper "The complexity of theorem proving procedures" in conference proceedings of the newly founded ACM Symposium on Theory of Computing.
Στις ΗΠΑ το 1971, ο Stephen Cook δημοσίευσε το έγγραφό του "Η πολυπλοκότητα του θεωρήματος θέλει διαδικασίες" σε πρακτικά συνεδριών του νεοσύστατου ACM Συμποσίου για τη θεωρία της πληροφορικής.