(1)
Suwa, M.; Scott, A. C.; Shortliffe, E. H. An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. AIMag 1982, 3, 16.