NGUYEN, T. A.; PERKINS, W. A.; LAFFEY, T. J.; PECORA, D. Checking a Knowledge-Based System for Consistency and Completeness. AI Magazine, [S. l.], v. 8, n. 2, p. 69, 1987. DOI: 10.1609/aimag.v8i2.584. Disponível em: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/584. Acesso em: 28 mar. 2024.