Title: Evidence flow graph methods for validation and verification of expert systems
Subjects: Flow charts, Expert systems, Proving