On Automated Scientific Theory Formation: A Case Study Using the AM Program

purl.stanford.edu/jj423vd9307