- CSB - MetaPress - Google - Bing - Yahoo
 | 1991 | |
|---|---|---|
| 3 |      | Rolf Socher: Optimizing the Clausal Normal Form Transformation. J. Autom. Reasoning 7(3): 325-336 (1991) |
| 2 | | Rolf Socher: On the Relation Between Resolution Based and Completion Based Theorem Proving. J. Symb. Comput. 11(1/2): 129-147 (1991) |
| 1988 | ||
| 1 |  | Rolf Socher: A Subsumption Algorithm Based on Characteristic Matrices. CADE 1988: 573-581 |