Steven Greenbaum

Publication Activity (10 Years)

Years Active: 1982-1986
Publications (10 Years): 0

Publications

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