@misc{indiciae7ff3bf3cfd9b,
  title = {Proof Theory of Partially Normal Skew Monoidal Categories},
  author = {Tarmo Uustalu and Niccolò Veltri and Noam Zeilberger},
  year = {2021},
  doi = {10.4204/eptcs.333.16},
  url = {https://arxiv.org/abs/2101.10487},
  note = {Source identifier: 2101.10487}
}