Validating and verifying knowledge-based systems - Gupta, Uma G. (IEEE Computer Society Press, 1991)