Mollusc, a general proof-development shell for sequent-based logics (1994)