A Heuristic Program for Solving a Scientific Inference Problem: Summary of Motivation and Implementation.

purl.stanford.edu/mv412pd8153