1. Baral, C., Delgrande, J., Wotter, F.: Principles of knowledge Representation and Reasoning. kr.org. KR Inc. (2017). Accessed 22 November
2. Bonillo, V.M., Betanzos, A.A., Canosa, M.C., Berdiñas, B.G., Rey, E.M.: Fundamentos de Inteligencia Artificial, Capítulo 4, páginas 87–93, 97 e 98, 111–115, Universidad de la Coruña-España (2000)
3. Gonzales, D.: Verification and Validation. In: The Engineering of Knowledge-Based Systems: Theory and Practice. Prentice-Hall International (1993)
4. Hayes-Roth, F., Waterman, D., Lenat, D.: Building Expert Systems. Addison-Wesley (1983). ISBN0-201-10686-8
5. Ivan, B.: Prolog programming for artificial intelligence, Capítulo 8, páginas 179–181. Addilson-wesley, publishing company (2011)