Suwa, M., A. C. Scott, and E. H. Shortliffe. “An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System”. AI Magazine, vol. 3, no. 4, Dec. 1982, p. 16, doi:10.1609/aimag.v3i4.377.