| |
| 1967 | ||
|---|---|---|
| 2 | EE | Larry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla: The Concept of Demodulation in Theorem Proving. J. ACM 14(4): 698-709 (1967) |
| 1966 | ||
| 1 | EE | Leon Shalla: Automatic analysis of electronic digital circuits using list processing. Commun. ACM 9(5): 372-380 (1966) |
| 1 | Daniel F. Carson | [2] |
| 2 | George A. Robinson | [2] |
| 3 | Larry Wos | [2] |