| 2001 |
|---|
| 5 | | Joachim Draeger,
Stephan Schulz:
Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization.
FLAIRS Conference 2001: 345-349 |
| 2000 |
|---|
| 4 | | Joachim Draeger:
Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO.
TABLEAUX 2000: 431-435 |
| 1999 |
|---|
| 3 | | Joachim Draeger,
Andreas Wolf:
Strategy Parallelism and Lemma Evaluation.
FLAIRS Conference 1999: 361-365 |
| 2 | | Andreas Wolf,
Joachim Draeger:
Strategy Parallel Use of Model Elimination with Lemmata (System Abstract).
TABLEAUX 1999: 319-323 |
| 1998 |
|---|
| 1 | EE | Joachim Draeger:
Acquisition of Useful Lemma-Knowledge in Automated Reasoning.
AIMSA 1998: 230-239 |
