Checking an Expert Systems Knowledge Base for Consistency and Completeness. - Tin A. Nguyen; Walton A. Perkins; Thomas J. Laffey; Deanne Pecora (IJCAI, 1985)

Checking a Knowledge-Based System for Consistency and Completeness. - Tin A. Nguyen; Walton A. Perkins; Thomas J. Laffey; Deanne Pecora (AI Mag., 1987)