N. Kamide and M. Mouri, “Natural deduction systems for some non-commutative logics”, LLP, vol. 16, no. 2-3, pp. 105–146, Aug. 2007.