Suwa M, Scott AC, Shortliffe EH. An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. AIMag [Internet]. 1982Dec.15 [cited 2024Apr.24];3(4):16. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/377