The Tableau Browser SNARKS. - Mathias Kettner; Norbert Eisinger (CADE, 1997)

SNARKS: A Browser for Tableaux Derivations. - Mathias Kettner; Norbert Eisinger (LPE, 1997)

Der Tableau-Browser SNARKS (system description). - Mathias Kettner; Norbert Eisinger (WLP, 1997)