@Inproceedings{EPTCS358.9,
  author    = {Uustalu, Tarmo and Veltri, Niccol\`o and Wan, Cheng-Syuan},
  year      = {2022},
  title     = {Proof Theory of Skew Non-Commutative MILL},
  editor    = {Indrzejczak, Andrzej and Zawidzki, Micha{\l}},
  booktitle = {{\rm Proceedings of the 10th International Conference on}
               Non-Classical Logics. Theory and Applications,
               {\rm {\L}\'od\'z, Poland, 14-18 March 2022}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {358},
  publisher = {Open Publishing Association},
  pages     = {118-135},
  doi       = {10.4204/EPTCS.358.9},
}