The sharing of structure in theorem-proving programs

Boyer, R.S. | Moore, J.S.

Classics/files/AI/classics/Machine_Intelligence_7/MI-7-Ch6-BoyerMoore.pdf 

Machine Intelligence 7