Daniel F. Carson

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)
1965
1	EE	Larry Wos, George A. Robinson, Daniel F. Carson: Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. J. ACM 12(4): 536-541 (1965)

Coauthor Index

1	George A. Robinson	[1] [2]
2	Leon Shalla	[2]
3	Larry Wos	[1] [2]