Nguyen, Tin A., Walton A. Perkins, Thomas J. Laffey, and Deanne Pecora. “Checking a Knowledge-Based System for Consistency and Completeness”. AI Magazine 8, no. 2 (June 15, 1987): 69. Accessed April 26, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/584.