- CSB - MetaPress - Google - Bing - Yahoo
 | 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 | Steven Greenbaum | [1] |
| 2 | Paul O'Rorke | [1] |
| 3 | David A. Plaisted | [1] |