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