Nguyen, T. A., Perkins, W. A., Laffey, T. J., & Pecora, D. (1987). Checking a Knowledge-Based System for Consistency and Completeness. AI Magazine, 8(2), 69. https://doi.org/10.1609/aimag.v8i2.584