Comparison of different expert system verification criteriaTepandi, JaakValidation, verification, and test of knowledge-based systems1991 / p. 49-62