@misc{indiciae3d81935408c8,
  title = {On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics},
  author = {Takeshi Ueno and Koji Nakaogawa and Osamu Watari},
  year = {2009},
  url = {https://arxiv.org/abs/0902.0304},
  note = {Source identifier: 0902.0304}
}