On the Automatic Formation of a Computer Program which Represents a Theory

purl.stanford.edu/hx736gg0505