Stanford Artificial Intelligence Project Papers, Surveys - Mechanization of Inductive Inference in Organic Chemistry