1. Biere, Armin, Marijn Heule, Hans van Maaren, und Toby Walsh, Hrsg. 2009. Handbook of satisfiability. Amsterdam: IOS Press.
2. Bringsjord, Selmer, und Govindarajulu, Naveen Sundar. Artificial intelligence. In The Stanford Encyclopedia of Philosophy (Fall 2018 Edition), Hrsg. Edward N. Zalta. https://plato.stanford.edu/archives/fall2018/entries/artificial-intelligence/.
3. Church, Alonzo. 1941. The calculi of lambda-conversion. Princeton: University Press.
4. Clocksin, William F., und Christopher S. Mellish. 1981. Programming in Prolog. Berlin: Springer.
5. Davis, Martin, und Hilary Putnam. 1960. A computing procedure for quantification theory. Journal of the ACM 7(3): 210–215.