| 1992 |
|---|
| 6 | | Stefan Bayerl,
Karl-Hans Bläsius:
Graph Based Extension of the LILOG Inference Engine
IWBS Report 229: (1992) |
| 5 | | Reinhold Letz,
Johann Schumann,
Stefan Bayerl,
Wolfgang Bibel:
SETHEO: A High-Performance Theorem Prover.
J. Autom. Reasoning 8(2): 183-212 (1992) |
| 1989 |
|---|
| 4 | | Stefan Bayerl,
Reinhold Letz,
Johann Schumann:
PARTHEO: A Parallel Inference Machine.
Wissensbasierte Systeme 1989: 527-539 |
| 1986 |
|---|
| 3 | | Stefan Bayerl,
M. Breu,
S. Heilmeier,
K. Lichtenwalder:
An Implemented Simulation of a Parallel Theorem Prover.
AIMSA 1986: 21-28 |
| 2 | | 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 |
|---|
| 1 | | K. Aspetsberger,
Stefan Bayerl:
Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine.
GWAI 1985: 46-55 |
