Nguyen, Tin A., Walton A. Perkins, Thomas J. Laffey, and Deanne Pecora. 1987. “Checking a Knowledge-Based System for Consistency and Completeness”. AI Magazine 8 (2):69. https://doi.org/10.1609/aimag.v8i2.584.