Poole, David L., and Alan K. Mackworth. 2017. Artificial Intelligence: Foundations of Computational Agents. 2nd ed. University of British Columbia; Cambridge University Press. https://artint.info/.
Cook, Stephen A. 1971. “The Complexity of Theorem-Proving Procedures.” In Proceedings of the Third Annual ACM Symposium on Theory of Computing, 151–58. Stoc ’71. Shaker Heights, Ohio, USA: Association for Computing Machinery. 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, Richard M. 1972. “Reducibility among Combinatorial Problems.” In Symposium on the Complexity of Computer Computations. https://doi.org/10.1007/978-1-4684-2001-2_9.