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