Suwa, Motoi, A. Carlisle Scott, and Edward H. Shortliffe. “An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System”. AI Magazine 3, no. 4 (December 15, 1982): 16. Accessed April 18, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/377.