Steven Greenbaum (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

1 Steven Greenbaum, A. Nagasaka, Paul O'Rorke, David A. Plaisted: Comparison of Natural Deduction and Locking Resolution Implementations. CADE 1982: 159-171

Selection of 3 from 3 records - Steven Greenbaum has 3 coauthors

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)
1		Steven Greenbaum, A. Nagasaka, Paul O'Rorke, David A. Plaisted: Comparison of Natural Deduction and Locking Resolution Implementations. CADE 1982: 159-171