Mechanization of Inductive Inference in Organic Chemistry

purl.stanford.edu/hm695yt3688