@inproceedings{cook1971complexity,
  author    = {Stephen A. Cook},
  title     = {The complexity of theorem-proving procedures},
  booktitle = {Proceedings of the third annual ACM symposium on Theory of computing},
  pages     = {151--158},
  year      = {1971}
}

@article{levin1973universal,
  author  = {Leonid Levin},
  title   = {Universal search problems},
  journal = {Problems of Information Transmission},
  volume  = {9},
  number  = {3},
  pages   = {115--129},
  year    = {1973}
}

@inproceedings{lean4,
  author    = {Leonardo de Moura and Sebastian Ullrich},
  title     = {The Lean 4 Programming Language and Theorem Prover},
  booktitle = {International Conference on Automated Deduction},
  pages     = {625--635},
  year      = {2021},
  publisher = {Springer}
}

@book{sipser,
  author = {Michael Sipser},
  title = {Introduction to the Theory of Computation},
  publisher = {Cengage Learning},
  year = {2012}
}

@article{biere2009handbook,
  title={Handbook of satisfiability},
  author={Biere, Armin and Heule, Marijn and van Maaren, Hans},
  journal={Frontiers in Artificial Intelligence and Applications},
  year={2009}
}