Nguyen, T. A., W. A. Perkins, T. J. Laffey, and D. Pecora. “Checking a Knowledge-Based System for Consistency and Completeness”. AI Magazine, vol. 8, no. 2, June 1987, p. 69, doi:10.1609/aimag.v8i2.584.