Suwa, Motoi, A. Carlisle Scott, and Edward H. Shortliffe. 1982. “An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System”. AI Magazine 3 (4):16. https://doi.org/10.1609/aimag.v3i4.377.