Title: Use of metaknowledge in the verification of knowledge-based systems
Subjects: Expert systems (Computer science), Validation, Computer software