Nguyen TA, Perkins WA, Laffey TJ, Pecora D. Checking a Knowledge-Based System for Consistency and Completeness. AIMag [Internet]. 1987Jun.15 [cited 2024Apr.15];8(2):69. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/584