The unit preference strategy in theorem proving (1964)

by L Wos, D Carson, G Robinson
Venue:AFIPS Conf. Proe. g, Spartan Books