Poole, D. L., & Mackworth, A. K. (2017). Artificial intelligence: Foundations of computational agents (2nd ed.). University of British Columbia; Cambridge University Press. https://artint.info/
Cook, S. A. (1971). The complexity of theorem-proving procedures. Proceedings of the Third Annual ACM Symposium on Theory of Computing, 151–158. https://doi.org/10.1145/800157.805047
Warning. These sources are locked behind corporate paywalls or distributed unethically with DRM encryption and/or surveillance.
Karp, R. M. (1972). Reducibility among combinatorial problems. Symposium on the Complexity of Computer Computations. https://doi.org/10.1007/978-1-4684-2001-2_9