Implementation of a cut−free sequent calculus for logics with adjoint modalities - Kriener, M; Dyckhoff, R (2009)