| |
| 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 | |
| 1 | A. Nagasaka | [1] |
| 2 | Paul O'Rorke | [1] |
| 3 | David A. Plaisted | [1] [2] [3] |