Nguyen, T. A.; Perkins, W. A.; Laffey, T. J.; Pecora, D. Checking a Knowledge-Based System for Consistency and Completeness. AIMag 1987, 8, 69.