| |
| 1987 | ||
|---|---|---|
| 2 | Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter: Systems of Reductions Springer 1987 | |
| 1986 | ||
| 1 | Jürgen Avenhaus, Benjamin Benninghofen, Rüdiger Göbel, Klaus Madlener: TRSPEC: A Term Rewriting Based System for Algebraic Specifications. CADE 1986: 665-667 | |
| 1 | Jürgen Avenhaus | [1] |
| 2 | Rüdiger Göbel | [1] |
| 3 | Susanne Kemmerich | [2] |
| 4 | Klaus Madlener | [1] |
| 5 | Michael M. Richter | [2] |