@misc{indiciaeb9319bc57cf0,
  title = {Modularisation of Sequent Calculi for Normal and Non-normal Modalities},
  author = {Björn Lellmann and Elaine Pimentel},
  year = {2017},
  url = {https://arxiv.org/abs/1702.08193},
  note = {Source identifier: 1702.08193}
}