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

Elmar Eder A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods. 80-98 1988 conf/csl/1988 CSL db/conf/csl/csl88.html#Eder88 http://dx.doi.org/10.1007/BFb0026296