Robert M. O'Keefe Daniel E. O'Leary Expert system verification and validation: a survey and tutorial. 3-42 1993 7 Artif. Intell. Rev. 1 http://dx.doi.org/10.1007/BF00849196 db/journals/air/air7.html#OKeefeO93