Larry Wos, Daniel F. Carson, George A. Robinson. The unit preference strategy in theorem proving. In Proceedings of the 1964 fall joint computer conference, part I, AFIPS 1964 (Fall, part I), San Francisco, California, USA, October 27-29, 1964. pages 615-621, ACM, 1964. [doi]
Abstract is missing.