Foundation and application of knowledge base verification

Alun D. Preece, Rajjan Shinghal. Foundation and application of knowledge base verification. Int. J. Intell. Syst., 9(8):683-701, 1994. [doi]

Abstract

Abstract is missing.