1. Ackermann, A.F., Fowler, P.J., Ebenau, R.G.: Software Validation. Elsevier, Amsterdam (1984)
2. Adrion, W., Branstadt, M., Cherniavsky, J.: Validation, verification and testing of computer software. ACM Computing Surveys, pp. 159–182 (1982)
3. Cao, T.M., Compton, P.: A consistency-based approach to knowledge base refinement. In: Proceedings of the 18th International Florida Artificial Intelligence Research Society Conference, pp. 221–225 (2005)
4. Davis, R., Lenat, D.B.: Knowledge Based Systems in Artificial Intelligence. McGraw Hill Int. Book Company, New York (1982)
5. Djelouah, R., Duval, B., Loiseau, S.: Interactive refinement of a knowledge base. In: Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, pp. 325–330 (2004)