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), p. 16. doi: 10.1609/aimag.v3i4.377.