Mathias Kettner Norbert Eisinger SNARKS: A Browser for Tableaux Derivations. 57-59 1997 LPE db/conf/lpe/lpe97.html#KettnerE97