1. Advances in Intelligent Systems and Computing;R Simiński,2016
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);R Simiński,2016
3. Preece, A.: Methods for verifying expert system knowledge bases. Report for Bell Canada, Centre for Pattern Recognition and Machine Intelligence, Concordia University Canada (1991)
4. Preece, A.D., Shinghal, R.: Foundation and application of knowledge base verification. Int. J. Intell. Syst. 9(8), 683–701 (1994)
5. Nguyen, T.A., Perkins, W.A., Laffey, T.J., Pecora, D.: Knowledge-base verification. AI Mag. 8(2), 69–75 (1987)