Towards an Advanced Implementation of the Connection Method. - Wolfgang Bibel; Elmar Eder; Bertram Fronhöfer (IJCAI, 1983)

An Implementation of a Theorem Prover Based on the Connection Method. - Elmar Eder (AIMSA, 1984)

Properties of Substitutions and Unifications. - Elmar Eder (J. Symb. Comput., 1985)

An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. - Stefan Bayerl; Elmar Eder; Franz J. Kurfess; Reinhold Letz; Johann Schumann (AIMSA, 1986)

A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods. - Elmar Eder (CSL, 1988)

Rule-Based Mechanism for Constraint Checking in Logic Programs. - Elmar Eder; Yan Liu (AIMSA, 1990)

Consolution and its Relation with Resolution. - Elmar Eder (IJCAI, 1991)

Relative complexities of first order calculi. - Elmar Eder (Vieweg, 1992)

Die Rolle der mathematischen Logik in der Künstlichen Intelligenz. - Armin B. Cremers; Elmar Eder; Ralf Hinze (Künstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit (1), 1992)

Backward Reasoning in Systems with Cut. - Elmar Eder (AISMC, 1996)

Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. - Wolfgang Bibel; Elmar Eder (J. ACM, 1997)

The Cut Role in Theorem Proving. - Elmar Eder (Intellectics and Computational Logic, 2000)