uustalu-2021-proof:
  type: article
  title: Proof Theory of Partially Normal Skew Monoidal Categories
  author:
  - Uustalu, Tarmo
  - Veltri, Niccolò
  - Zeilberger, Noam
  date: 2021-02
  page-range: 230-246
  url: http://dx.doi.org/10.4204/eptcs.333.16
  serial-number:
    doi: 10.4204/eptcs.333.16
    issn: 2075-2180
  parent:
    type: periodical
    title: Electronic Proceedings in Theoretical Computer Science
    publisher: Open Publishing Association
    volume: 333