Elmar Eder The Cut Role in Theorem Proving. [Citation Graph (0, 0)][DBLP] Intellectics and Computational Logic, 2000, pp:101-123 [Conf]

Elmar Eder A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods. [Citation Graph (0, 0)][DBLP] CSL, 1988, pp:80-98 [Conf]

Wolfgang Bibel, Elmar Eder Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. [Citation Graph (0, 0)][DBLP] J. ACM, 1997, v:44, n:2, pp:320-344 [Journal]