 | 2000 |
|---|
| 11 |       | Elmar Eder:
The Cut Role in Theorem Proving.
Intellectics and Computational Logic 2000: 101-123 |
| 1997 |
|---|
| 10 |  | Wolfgang Bibel,
Elmar Eder:
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.
J. ACM 44(2): 320-344 (1997) |
| 1996 |
|---|
| 9 | | Elmar Eder:
Backward Reasoning in Systems with Cut.
AISMC 1996: 339-353 |
| 1991 |
|---|
| 8 | | Elmar Eder:
Consolution and its Relation with Resolution.
IJCAI 1991: 132-136 |
| 1990 |
|---|
| 7 | | Elmar Eder,
Yan Liu:
Rule-Based Mechanism for Constraint Checking in Logic Programs.
AIMSA 1990: 149-158 |
| 1988 |
|---|
| 6 | | Elmar Eder:
A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods.
CSL 1988: 80-98 |
| 1986 |
|---|
| 5 | | Stefan Bayerl,
Elmar Eder,
Franz J. Kurfess,
Reinhold Letz,
Johann Schumann:
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method.
AIMSA 1986: 29-36 |
| 1985 |
|---|
| 4 | | Elmar Eder:
Properties of Substitutions and Unifications.
J. Symb. Comput. 1(1): 31-46 (1985) |
| 1984 |
|---|
| 3 | | Elmar Eder:
An Implementation of a Theorem Prover Based on the Connection Method.
AIMSA 1984: 121-128 |
| 1983 |
|---|
| 2 | | Elmar Eder:
Properties of Substitutions and Unifications.
GWAI 1983: 197-206 |
| 1 | | Wolfgang Bibel,
Elmar Eder,
Bertram Fronhöfer:
Towards an Advanced Implementation of the Connection Method.
IJCAI 1983: 920-922 |
