Efficiency and completeness of the set of support strategy in theorem proving (1965)

by L wos, G Robinson, D Carson
Venue:J. ACM