| 1997 | ||
|---|---|---|
| 3 | 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) | |
| 1993 | ||
| 2 | Max Moser: Improving Transformation Systems for General E-Unification. RTA 1993: 92-105 | |
| 1 | Max Moser: Compilation of Equational Reasoning into Logic Programs. WLP 1993: 73-77 | |
| 1 | Christoph Goller | [3] |
| 2 | Ortrun Ibens | [3] |
| 3 | Reinhold Letz | [3] |
| 4 | Klaus Mayr | [3] |
| 5 | Johann Schumann | [3] |
| 6 | Joachim Steinbach | [3] |