Cook (1971), The complexity of theorem-proving procedures. Proceedings of the third annual ACM symposium on Theory of Computing, p. 151-158.
» References