@article{uustalu-2021-proof, title={Proof Theory of Partially Normal Skew Monoidal Categories}, volume={333}, ISSN={2075-2180}, url={http://dx.doi.org/10.4204/eptcs.333.16}, DOI={10.4204/eptcs.333.16}, journal={Electronic Proceedings in Theoretical Computer Science}, publisher={Open Publishing Association}, author={Uustalu, Tarmo and Veltri, Niccolò and Zeilberger, Noam}, year={2021}, month=Feb, pages={230–246} }