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

purl.stanford.edu/mz393pf0178