| |
| 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 | |