TA Nguyen, WA Perkins, TJ Laffey, D Pecora - AI magazine, 1987 - Wiley Online Library
We describe a computer program that implements an algorithm to verify the consistency and
completeness of knowledge bases built for the Lockheed expert system (LES) shell. The …