A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods.

Elmar Eder

Browse the full CSL paper archive.