The unit preference strategy in theorem proving. - Larry Wos; Daniel F. Carson; George A. Robinson (AFIPS Fall Joint Computing Conference (1), 1964)

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. - Larry Wos; George A. Robinson; Daniel F. Carson (J. ACM, 1965)

The Concept of Demodulation in Theorem Proving. - Larry Wos; George A. Robinson; Daniel F. Carson; Leon Shalla (J. ACM, 1967)