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