Tekstiviesti: Evidence flow graph methods for validation and verification of expert systems : final report on NASA grant NAG-1-809 / Lee A. Becker, Peter G. Green, Jayant Bhatnagar.