Suwa, M., Scott, A. C., & Shortliffe, E. H. (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