The sharing of Structure in Theorem Proving Programs (1972)

by Robert S Boyer, Jay S Moore
Venue:Machine Intelligence