Automatic analysis of electronic digital circuits using list processing. - Leon Shalla (Commun. ACM, 1966)

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