The sharing of structure in theorem-proving programs (1972)

by R S Boyer, J S Moore
Venue:Computational Logic