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