[1]
T. A. Nguyen, W. A. Perkins, T. J. Laffey, and D. Pecora, “Checking a Knowledge-Based System for Consistency and Completeness”, AIMag, vol. 8, no. 2, p. 69, Jun. 1987.