The unit preference strategy in theorem proving. - Wos, Larry; Carson, Daniel F.; Robinson, George A. (1964)