An approach to verifying completeness and consistency in a rule-based expert system - Suwa, M; Scott, AC; Shortliffe, EH (AI Magazine, 1982)