Learning and discovery: one system's search for mathematical knowledge.

Susan L. Epstein Learning and discovery: one system's search for mathematical knowledge. 42-53 1988 4 Computational Intelligence db/journals/ci/ci4.html#Epstein88