Kamide, N. and Mouri, M. 2007. Natural deduction systems for some non-commutative logics. Logic and Logical Philosophy. 16, 2-3 (Aug. 2007), 105–146. DOI:https://doi.org/10.12775/LLP.2007.005.