| 1997 |
|---|
| 7 | | Max Moser,
Ortrun Ibens,
Reinhold Letz,
Joachim Steinbach,
Christoph Goller,
Johann Schumann,
Klaus Mayr:
SETHEO and E-SETHEO - The CADE-13 Systems.
J. Autom. Reasoning 18(2): 237-246 (1997) |
| 1995 |
|---|
| 6 | | Klaus Mayr:
Link Deletion in Model Elimination.
TABLEAUX 1995: 169-184 |
| 1994 |
|---|
| 5 | | Christoph Goller,
Reinhold Letz,
Klaus Mayr,
Johann Schumann:
SETHEO V3.2: Recent Developments - System Abstract.
CADE 1994: 778-782 |
| 4 | | Reinhold Letz,
Klaus Mayr,
Christoph Goller:
Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi.
J. Autom. Reasoning 13(3): 297-337 (1994) |
| 1993 |
|---|
| 3 | | Klaus Mayr:
Refinements and Extensions of Model Elimination.
LPAR 1993: 217-228 |
| 2 | | Klaus Mayr:
Integrating Antilemma-Constraints into SLD-Resolution.
WLP 1993: 69-72 |
| 1992 |
|---|
| 1 | | Reinhold Letz,
Klaus Mayr:
SETHEO II - The System and its Calculi.
TABLEAUX 1992: 49-51 |
