[1]
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 (Jun. 1987), 69. DOI:https://doi.org/10.1609/aimag.v8i2.584.