Mechanization of Inductive Inference in Organic Chemistry

purl.stanford.edu/pq459cf8415