Evidence flow graph methods for validation and verification of expert systems / - Becker, Lee A. (Worcester Polytechnic Institute, 1989)