Wos, L., G.A. Robinson & D.F. Carson "The unit preference strategy in theorem-proving"

[AFIPS JCC 26] (1964) [AFIPS JCC 26] Proceedings of the 1964 Fall Joint Computer Conference FJCC 1964  

Languages mentioned Wos QAS {1964}