Daniel F. Carson

	1967
2		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		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]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page