Suwa, M., Scott, A.C. and Shortliffe, E.H. 1982. An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. AI Magazine. 3, 4 (Dec. 1982), 16. DOI:https://doi.org/10.1609/aimag.v3i4.377.