Steven Greenbaum

	1986
3		Steven Greenbaum, David A. Plaisted: The Illinois Prover: A General Purpose Resolution Theorem Prover. CADE 1986: 685-687
2		David A. Plaisted, Steven Greenbaum: A Structure-Preserving Clause Form Translation. J. Symb. Comput. 2(3): 293-304 (1986)
	1982
1		Steven Greenbaum, A. Nagasaka, Paul O'Rorke, David A. Plaisted: Comparison of Natural Deduction and Locking Resolution Implementations. CADE 1982: 159-171

Coauthor Index

1	A. Nagasaka	[1]
2	Paul O'Rorke	[1]
3	David A. Plaisted	[1] [2] [3]