@techreport{KreinerSadrRoy,
  title = "Implementation of a cut-free sequent calculus for logics with adjoint modalities",
  author = "J. Kriener, M. Sadrzadeh and R. Dyckhoff",
  year = "2009",
  journal = "Computing Research Repository",
  url = "http://arxiv.org/abs/0903.2448",
  volume = "abs/0903.2448",
}