SUWA, M.; SCOTT, A. C.; SHORTLIFFE, E. H. An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. AI Magazine, [S. l.], v. 3, n. 4, p. 16, 1982. DOI: 10.1609/aimag.v3i4.377. Disponível em: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/377. Acesso em: 19 apr. 2024.