| |
| 1997 | ||
|---|---|---|
| 3 | Mathias Kettner, Norbert Eisinger: The Tableau Browser SNARKS. CADE 1997: 408-411 | |
| 2 | Mathias Kettner, Norbert Eisinger: SNARKS: A Browser for Tableaux Derivations. LPE 1997: 57-59 | |
| 1 | Mathias Kettner, Norbert Eisinger: Der Tableau-Browser SNARKS (system description). WLP 1997: 0- | |
| 1 | Norbert Eisinger | [1] [2] [3] |