M. Suwa, A. C. Scott, and E. H. Shortliffe, “An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System”, AIMag, vol. 3, no. 4, p. 16, Dec. 1982.